AFAIK the server code in CraftBukkit is not the sourcecode of Mojangs minecraft_server.jar and is not provided by Mojang. The Bukkit team...
Separate names with a comma.