4.0.0 org.kframework.k parent 4.0-beta4-SNAPSHOT kernel jar K Framework Tool Kernel org.kframework.k kore ${project.version} org.kframework.k tiny ${project.version} com.google.guava guava 18.0 com.google.inject guice 4.0-beta5 com.google.inject.extensions guice-multibindings 4.0-beta5 com.google.inject.extensions guice-grapher 4.0-beta5 com.google.inject.extensions guice-throwingproviders 4.0-beta5 com.google.code.findbugs jsr305 3.0.0 net.sf.jung jung-api 2.0.1 org.apache.commons commons-lang3 3.3.2 org.apache.commons commons-collections4 4.0 commons-codec commons-codec 1.10 org.kframework.dependencies jcommander 1.35-custom net.sf.jung jung-graph-impl 2.0.1 dk.brics.automaton automaton 1.11-8 org.kframework.mpfr_java mpfr_java 1.0.1 org.kframework.mpfr_java mpfr_java 1.0.1 linux64 org.kframework.mpfr_java mpfr_java 1.0.1 linux32 org.kframework.mpfr_java mpfr_java 1.0.1 osx org.kframework.mpfr_java mpfr_java 1.0.1 windows64 org.kframework.mpfr_java mpfr_java 1.0.1 windows32 commons-io commons-io 2.4 org.fusesource.jansi jansi 1.11 jline jline 2.13 org.kframework.dependencies nailgun-server 0.9.2-k3.6 org.kframework.dependencies ng 0.9.2-k3.5 linux uexe org.kframework.dependencies ng 0.9.2-k3.5 osx uexe org.kframework.dependencies ng 0.9.2-k3.5 windows exe src/main/resources org.codehaus.mojo javacc-maven-plugin 2.6 javacc javacc org.codehaus.mojo buildnumber-maven-plugin 1.3 create false false 7 maven-surefire-plugin 2.17 true maven-jar-plugin 2.5 ${buildNumber} ${scmBranch} ${timestamp} ${project.version} test-jar