I should point out that this is a correction of an inconsistency. The issue exists elsewhere but I didn't bother with those. This was only touched because

a. the rest of the methods in Server interface do not have the unnecessary `public` modifier
b. I was originally planning on saving the server's permission manager in the server, but then decided to move it to the plugin manager.