Merge branch 'buildwar-fix' into 'master'

buildwar should use hsqldb

See merge request !1243
46 jobs for v16.0.0-alpha.0 in 11 minutes and 54 seconds (queued for 5 minutes and 4 seconds)
Name Stage Failure
failed
build_war Build
     [exec] [INFO] ------------------------------------------------------------------------

maven-build-with-doc:

BUILD SUCCESSFUL
Total time: 10 minutes 45 seconds
$ cp web/target/web-1.0.war minerva.war
cp: cannot stat 'web/target/web-1.0.war': No such file or directory
ERROR: Job failed: exit code 1