runtimeverification/javamop — pull request #126 by seriousamlqz (2014-10-12 18:55:38+00:00)
Title: Change one line in README about building agent. We may eliminate that re...

...quirement later by appending BaseAspect in the generated aj file.