runtimeverification/javamop — pull request #68 by yzhang90 (2014-09-15 21:13:26+00:00)
Title: add aspectjrt dependency

@seriousamlqz please review