Merge branch 'develop' into 'master'

gitlab ci

See merge request fg-bks/br-verification-tool!18

dmn-verifier-app/pom.xml

@@ -168,7 +168,7 @@
         <artifactId>tomcat7-maven-plugin</artifactId>
         <version>2.2</version>
         <configuration>
-          <url>http://localhost:8080/manager/text</url>
+          <url>http://localhost:8090/manager/text</url>
           <server>TomcatServer</server>
           <username>maven</username>
           <password>maven</password>