joliebig/featurehouse — pull request #10 by fbenduhn (2013-05-24 15:59:32+00:00)
Title: Minor changes related to JML

Revised JML output formatting: removed unnecessary whitespace and blank lines inside JML comments.

Refactored some duplicate code.