private boolean mustEscapeCharInJsString(int codepoint) {
			if (!Character.isSupplementaryCodePoint(codepoint)) {
				char c = (char) codepoint;
				return JS_ESCAPE_CHARS.contains(c)
						|| (escapeHtmlCharacters && HTML_ESCAPE_CHARS
								.contains(c));
			} else {
				return false;
			}
		}