Paper-Old/nms-patches/PlayerSelector.patch

--- ../work/decompile-8eb82bde/net/minecraft/server/PlayerSelector.java	2014-12-11 20:04:51.273619960 +0000
+++ src/main/java/net/minecraft/server/PlayerSelector.java	2014-12-11 20:03:19.893620952 +0000
@@ -97,7 +97,7 @@
         if (h(map)) {
             arraylist.add(icommandlistener.getWorld());
         } else {
-            Collections.addAll(arraylist, MinecraftServer.getServer().worldServer);
+            arraylist.addAll(MinecraftServer.getServer().worlds); // CraftBukkit
         }
 
         return arraylist;