4.0.0 es.upv.mist.slicing sdg pom 1.3.0 org.apache.maven.plugins maven-compiler-plugin 3.8.1 11 11 org.apache.maven.plugins maven-surefire-plugin 3.0.0-M5 11 11 sdg-core sdg-cli javaparser-symbol-solver-core sdg-bench