Removed old JML-related targets that are no longer relevant.
Removed old JML-related targets that are no longer relevant.


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