improved formatting for generated JML comments
removed unused import
Merge pull request #10 from fbenduhn/master

Minor changes related to JML