changes to jml contract composition

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