joliebig/featurehouse — pull request #7 by fbenduhn (2013-04-25 21:03:29+00:00)
Title: changes to jml contract composition

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