An Apache Thrift based API for CraftBukkit Minecraft servers