Are these `// CraftBukkit` comments unnecessary after this change?