Utils is already type checked via the Javafe self_typecheck.
Utils is already type checked via the Javafe self_typecheck.

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