Add compatibility for CraftServer.java