TextFileTest.java version 1.12