private void consumeWhitespace() {
		try {
			char current;
			do {
				current = LA();
				consumeChar();
			} while ('\n' != current && Character.isWhitespace( current ));
		} catch (BufferUnderflowException caught) {
			// we've hit the end of the buffer, just return
		}
	}