private void
ungetChar(int c) throws IOException {
	if (c == -1)
		return;
	is.unread(c);
	if (c == '\n')
		line--;
}
Creates a Tokenizer from a file.
@param f The File to tokenize.
src/main/java/core/org/xbill/DNS/Tokenizer.java