Added a prototype for live patching: changes the version number of Minecraft to ">9000!"