runtimeverification/javamop — pull request #58 by owolabileg (2014-09-03 18:04:28+00:00)
Title: Fix for #49 

Added code to suppress aspectj warnings. Fixes #49. @pdaian Please review