Bukkit/CraftBukkit — pull request #522 by tomsik68 (2011-10-31 20:37:57+00:00)
Title: Synchronized world.getPlayers()

I've recently had problems with several plugins which conflicated because of world.getPlayers() , so I've changed world.getPlayers() to return synchronized list, so the plugins will stop conflicating.