Automatically generated decompiled sources of an internally renamed minecraft_server.jar