Bukkit/CraftBukkit — pull request #549 by Alexitaly92 (2011-11-25 18:00:56+00:00)
Title: Update src/main/java/net/minecraft/server/MinecraftServer.java

Line 138 changed server.settings in server.properties (for dummies)