What happens if they submit the CraftBukkit PR first? (Actually a good idea, just working through the idea.)