} while (fWasWhiteSpace && (c == ' '));
} while (fSkipWhiteSpace && fWasWhiteSpace && (c == ' '));
	public int read() throws IOException {		int c;		do {						c= nextChar();			while (!fReadFromBuffer) {				String s= computeSubstitution(c);				if (s == null)					break;				if (s.length() > 0)					fBuffer.insert(0, s);				c= nextChar();			}					} while (fWasWhiteSpace && (c == ' '));						fWasWhiteSpace= (c == ' ' || c == '\r' || c == '\n');		return c;	}