modified TestCaseReader.java