[found by jml4] enabling disabled JML annotations.
[found by jml4] enabling disabled JML annotations.

GaloisInc/JavaFE,GaloisInc/JavaFE,GaloisInc/JavaFE,GaloisInc/JavaFE,GaloisInc/JavaFE,GaloisInc/JavaFE,GaloisInc/JavaFE