}
ServerCommandManager serverCommandManager = (ServerCommandManager) event.getServer().getCommandManager();
serverCommandManager.registerCommand(new TicksCommand());
serverCommandManager.registerCommand(new TPSCommand());
serverCommandManager.registerCommand(new ProfileCommand());
serverCommandManager.registerCommand(new DumpCommand());
MinecraftServer.setTargetTPS(targetTPS);
Command.checkForPermissions();
String javaVersion = System.getProperty("java.runtime.version");
if (javaVersion.startsWith("1.6")) {
Log.severe("It is recommended to use a Java 7 JRE. Current version: " + javaVersion);