runtimeverification/javamop — pull request #128 by seriousamlqz (2014-10-12 20:46:15+00:00)
Title: Remove the option of accepting .java file with mop annotations. This may...

... be related to the JavaLib option got cleaned up earlier in #87