corrected syntax error
fixed JML import-statement replacement
single line JML comments now ignored similar to regular comments