verify Readfile.java