JML Contract Composition

Hallo,

hatte einige schwierigkeiten mit dem integrieren der neuen Änderungen in meinen Branch. Habe noch einmal alles neu ausgecheckt und meine Änderungen integriert. Hoffe es klappt jetzt besser.

Viele Grüße

Fabian Benduhn