4.12 (JUnit): read and check files more thoroughly