analyses
java_bytecode
jdiff
goto-diff
goto-instrument
goto-programs
langapi # should go away
pointer-analysis
util
