A Java API for querying a Minecraft server