# for non-release builds, versions should all be DEVELOPMENT
# except for build.version.base
build.version=DEVELOPMENT
build.version.base=1.5
build.version.long=DEVELOPMENT
build.version.short=DEVELOPMENT
# 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