Increase the build number from build.properties only after the war was
created, i.e., we will keep the current number in build.properties and
so that it will be included in the releases
Merge branch 'master' of https://github.com/protegeproject/webprotege.git
Merge branch 'master' of https://github.com/protegeproject/webprotege