Minor changes: removed unnecessary import; put nowarn and its args within the same comment.
Minor changes: removed unnecessary import; put nowarn and its args within the same comment.

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