runtimeverification/javamop — pull request #45 by Databean (2014-07-25 20:48:32+00:00)
Title: Use the AspectJ dependency to run the tests

Builds off #42. Removes the dependency of having `ajc` on the sytem path.