StdIn.readString -> StdIn.readAll in BurrowsWheeler.java