org.kframework.k parent 4.0-beta4-SNAPSHOT ../pom.xml 4.0.0 tiny jar K Framework tiny rewriter org.kframework.k kore ${project.version} com.google.guava guava 18.0 io.github.nicolasstucki multisets_2.11 0.3 net.alchim31.maven scala-maven-plugin 3.2.2 scala-compile-first process-resources add-source compile scala-test-compile process-test-resources testCompile false -Xexperimental -feature -deprecation -language:implicitConversions -language:postfixOps