* @param is The input stream to scan.
* @param enc The encoding to use to decode the input stream, or null.
*/
public Scanner(InputStream is, String enc) throws ParseException {
try {
reader = new StreamNormalizingReader(is, enc);
current = nextChar();
} catch (IOException e) {
throw new ParseException(e);
}
}