ReadFromFile.java: fix reading in UTF-8 encoded files.