parent org.kframework.k 4.0-beta4-SNAPSHOT ../pom.xml 4.0.0 api K Framework API org.kframework.k kore ${project.version} org.kframework.k kernel ${project.version} org.kframework.k java-backend ${project.version}