outer kore
explicit junit dep to overcome sbt-maven bug
explicit relativeTo to overcome maven-sbt bug
remove extra comments and explain the rest
enter
junit 4.11
add option to run K with nailgun
fix setenv script to work with kserver
add mvn target for nailgun
fix stray change to pom
add requires/ensures
move native lib dir to top of path to avoid dependency hell with system PATH
to-string updates
removed configuration
try to fix flush error
add error code to ktest output
synchronize on getAnonVar to avoid counter race condition
fix javadoc
try to fix nontermination error
Merge pull request #1157 from dwightguth/server3

add option to run K with nailgun