A tool for deobfuscating minecraft server with mcp mappings