A Minecraft plugin API (not including an implementation)