The two files created by 'ReadFile.java'