add option to run K with nailgun
fix setenv script to work with kserver
add mvn target for nailgun
fix stray change to pom
move native lib dir to top of path to avoid dependency hell with system PATH
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
fixed a bug when computing cells of interest in java backend
Merge pull request #1157 from dwightguth/server3

add option to run K with nailgun
add .bat file for kserver and fix nailgun on windows
fix batch script error
fix path
Merge pull request #1160 from yilongli/master

fixed a bug when computing cells of interest in java backend
fix batch script
Merge pull request #1161 from dwightguth/serverbat

add .bat file for kserver and fix nailgun on windows