Commented out some junk in check.java