runtimeverification/javamop — pull request #70 by owolabileg (2014-09-16 00:02:20+00:00)
Title: Eliminating the ned to have certain jars in path while running agent

packaging rvmonitorrt.jar and aspectjweaver.jar with the generated agent.jar.

@seriousamlqz, @yzhang90, please review