The day open source died: a story about Minecraft, Bukkit, and the GPL