Use the AspectJ dependency to run the tests
Merge pull request #45 from runtimeverification/aspectJclasspath

Use the AspectJ dependency to run the tests