Bukkit/CraftBukkit — pull request #579 by codename-B (2011-12-08 12:41:39+00:00)
Title: Make it possible not to use the_end

A lot of servers don't want/use it and it's silly not to allow disabling it.