protected int nextChar() throws IOException {
		return input.read();
	}
Override to provide different source of characters than
{@link #input input}.
runtime/Java/src/org/antlr/v4/runtime/UnbufferedCharStream.java