private String readQuoted() {
		StringBuffer result = new StringBuffer(30);
		++pos;
		while (pos < in.length()) {
			char c = in.charAt(pos++);
			if (c == '\\' && in.charAt(pos) == '"') {
				result.append('"');
				++pos;
			} else if (c == '"') {
				skipLWS();
				if (pos < in.length() && in.charAt(pos) == ';') {
					++pos;
					skipLWS();
				}
				break;
			} else {
				result.append(c);
			}
		}
		return result.toString();
	}