runtimeverification/javamop — pull request #123 by yzhang90 (2014-10-08 22:25:14+00:00)
Title: attempt to fix issue 122

I add some "exclude"s to the assembly.xml but I couldn't remove the rvmonitorrt.jar from the lib directory. @seriousamlqz, @xiaohe27 please review it.