runtimeverification/javamop — pull request #30 by Databean (2014-06-27 19:08:02+00:00)
Title: Attempted fix for issues 4 and 26

It now uses the specification name when printing the violation, and prints the full stack trace instead of guessing at the relevant lines.
https://github.com/runtimeverification/javamop/issues/4
https://github.com/runtimeverification/javamop/issues/26