runtimeverification/javamop — pull request #40 by Databean (2014-07-09 16:51:39+00:00)
Title: Non-AST Javadoc

#18. Javadoc for all classes not in the parser.