JML Update

Improved JML support

Can you ignore changes to the following files?

-fstcomp/FeatureHouse.jardesc
-fstgen/test/TestJMLContracts.java
-fstgen/test/build.xml