jml update
Merge pull request #9 from fbenduhn/master

JML Update