Rename TfFile.java to ThFile.java