Merge branch 'develop' into 'master'

Develop

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

dmn-verifier-app/pom.xml

@@ -168,7 +168,7 @@
         <artifactId>tomcat7-maven-plugin</artifactId>
         <version>2.2</version>
         <configuration>
-          <url>http://inconsistency.fg-bks.uni-koblenz.de:8090/manager/text</url>
+          <url>http://localhost:8090/manager/text</url>
           <server>TomcatServer</server>
           <path>/${build.name}</path>
           <update>true</update>