Add 'java.version' setter to repo properties, to allow different jvm
versions. 1.7+ is defaults