runtimeverification/javamop — pull request #69 by owolabileg (2014-09-15 21:38:06+00:00)
Title: preventing the baseAspect from being used outside agent generation

@seriousamlqz, please review