private void consumeStringLiteral(StringBuilder builder) {
	char nextChar;
	inStringLiteralMode = true;

	char previousChar = BOGUS_PLACEHOLDER;
	while (((nextChar = consume()) != '"') || (previousChar == STRING_ESCAPE_CHAR)) {
	    previousChar = nextChar;
	    builder.append(nextChar);
	}
	builder.append(nextChar); // append final "

	inStringLiteralMode = false;
    }