4.0.0 edu.lu.uni.serval FixPatternMiner 1.0.0 edu.lu.uni.serval RichEdit 1.0.0 org.yaml snakeyaml 1.21 pom richedit gumtree UTF-8 richedit/src/main/java/ org.apache.maven.plugins maven-compiler-plugin 3.2 1.8 1.8 org.apache.maven.plugins maven-assembly-plugin package single true edu.lu.uni.serval.Launcher jar-with-dependencies org.jacoco jacoco-maven-plugin 0.7.5.201505241946 pre-unit-test prepare-agent surefireArgLine post-unit-test test report **/ui/** **/StartSolverUi** org.apache.maven.plugins maven-surefire-plugin 2.18.1 ${surefireArgLine} **/*Test*.java run-unit-tests test org.eluder.coveralls coveralls-maven-plugin 4.3.0