Code (Text): java -jar BuildTools.jar --rev 1.12

In order to get 1.12, simply run the latest BuildTools with the required arguments. 1.12 will become the default version when we are confident that most bugs are ironed out.