changeset 3065 | 452aaa2899fc |
parent 2057 | 3acf8e5e2ca0 |
child 3631 | 4dc04372d56b |
--- a/jdk/src/share/classes/java/util/Scanner.java Fri Jun 26 18:39:45 2009 -0700 +++ b/jdk/src/share/classes/java/util/Scanner.java Sat Jun 27 21:46:53 2009 +0100 @@ -690,7 +690,7 @@ public Scanner(FileRef source) throws IOException { - this(source.newByteChannel()); + this(source.newInputStream()); } /** @@ -713,7 +713,7 @@ public Scanner(FileRef source, String charsetName) throws IOException { - this(source.newByteChannel(), charsetName); + this(source.newInputStream(), charsetName); } /**