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

In order to get these releases, you will need to manually select 1.9.4 as follows: