joliebig/featurehouse — pull request #6 by fbenduhn (2013-02-05 16:35:55+00:00)
Title: JML Contract Composition

Test file for JML added