Fix bug introduced by cleanup change #87. DumpVisitor is still needed as it will take multiple phases to generate code
Add JavaDOC
Merge pull request #98 from runtimeverification/fixbug

Fix bug introduced by cleanup change #87. DumpVisitor is still needed as...