Removed unneeded interface for MixinMinecraftServer.