merge jml
Merge pull request #5 from fbenduhn/master

JML Contract Composition