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