if (Character.isWhitespace((char)ch)) {
if (fSkipWhiteSpace && Character.isWhitespace((char)ch)) {
	protected int nextChar() throws IOException {		fReadFromBuffer= (fBuffer.length() > 0);		if (fReadFromBuffer) {			char ch= fBuffer.charAt(fIndex++);			if (fIndex >= fBuffer.length()) {				fBuffer.setLength(0);				fIndex= 0;			}			return ch;		} else {			int ch= fCharAfterWhiteSpace;			if (ch == -1) {				ch= fReader.read();			}			if (Character.isWhitespace((char)ch)) {				do {					ch= fReader.read();				} while (Character.isWhitespace((char)ch));				if (ch != -1) {					fCharAfterWhiteSpace= ch;					return ' ';				}			} else {				fCharAfterWhiteSpace= -1;			}			return ch;		}	}