runtimeverification/javamop — pull request #24 by Databean (2014-06-12 20:22:38+00:00)
Title: Fix line numbers

Attempt at fixing https://github.com/runtimeverification/javamop/issues/5.