joliebig/featurehouse — pull request #8 by fbenduhn (2013-04-30 18:45:50+00:00)
Title: JML Update

Improved JML support

Can you ignore changes to the following files?

-fstcomp/FeatureHouse.jardesc
-fstgen/test/TestJMLContracts.java
-fstgen/test/build.xml