A ConsoleDebugger for Minecraft modders