Changed minecraft plugin to use the actual map name a reported by the server.