Merge branch 'feature/fix-start-triggers' into develop
Merge branch 'develop' of github.com:eXist-db/exist into develop
Merge branch 'develop' of github.com:eXist-db/exist into develop
[bugfix] make dist-war target work again
Merge pull request #50 from dizzzz/feature/fix-dist-war

repair dist-war target