runtimeverification/javamop — pull request #118 by seriousamlqz (2014-10-06 21:31:18+00:00)
Title: Fix tests which have problems with agent generation based on examples fr...

...om RVMonitor