Cannot immediately permanantely delete server.jar

Steps to reproduce:

1. Create new vanilla Minecraft server

   1. Server should not be started and file manager should now have one single file: "server.jar"

2. Click checkbox next to server.jar, selecting it

3. Click "delete"

4. Choose "permanently delete"

Expected: File will be permanently deleted

Actual: Error

What does work as a workaround is choosing to move the file to the trash, then emptying the trash instead.