fixed handling of import statements
ignore JML single-line comments just like regular java comments
Merge pull request #7 from fbenduhn/master

changes to jml contract composition