harness.check(testfile.setReadOnly(), false, "setReadOnly()");
harness.check(testfile.setLastModified(1000L), false,
"setLastModified()");
harness.checkPoint("compareTo()");
harness.check(testfile.compareTo(new File("")), 0);
harness.check(testfile.compareTo(new File(".")), -1);
harness.checkPoint("equals()");
harness.check(testfile.equals(new File("")), true);
harness.check(testfile.equals(new File(".")), false);