for easily updating minecraft_server.jar