Remove the option of accepting .java file with mop annotations. This may be related to the JavaLib option got cleaned up earlier in #87
Further simplify SpecExtractor
Merge pull request #128 from runtimeverification/remove-java-annotation

Remove the option of accepting .java file with mop annotations. This may...