fixed handling of import statements
ignore JML single-line comments just like regular java comments