ensure we do have a working local.properties

.gitignore

@@ -1,3 +1,2 @@
 */bin
 aj-build/
-build/local.properties

build/local.properties

@@ -0,0 +1,12 @@
+# for non-release builds, versions should all be DEVELOPMENT
+# except for build.version.base
+build.version=1.8.0.M1
+build.version.base=1.8
+build.version.long=1.8.0.M1
+build.version.short=1.8.0.M1
+# Repo version is for maven (as built with 'ant repo')
+repo.version=1.6.4
+java11.home=c:/home/apps/jdk11
+java13.home=c:/home/apps/jdk13
+java14.home=c:/home/apps/jdk14
+java15.home=c:/home/apps/jdk15