#build.number.properties (normally this file is maintained by build.xml)
#Sun, 20 May 2020 11:56:35 +0200
build.major=0
build.minor=25
build.point=5