runtimeverification/javamop — pull request #43 by Databean (2014-07-22 19:25:43+00:00)
Title: Fix parser

Builds off of #42. Removes the generated JavaCC files and updates the .jj grammar files.