Fix brute.java for reading from file.