runtimeverification/javamop — pull request #185 by pdaian (2014-11-06 23:54:49+00:00)
Title: Update rv-monitor-rt jar name for agent generation

to be consistent with changes in RV-Monitor v1.3.