return String.valueOf(c);
if (((c < 0x0020) || (c > 0x007e))){ return new StringBuffer() .append('\\') .append('u') .append(toHex((c >> 12) & 0xF)) .append(toHex((c >>  8) & 0xF)) .append(toHex((c >>  4) & 0xF)) .append(toHex( c        & 0xF)).toString();  } else return String.valueOf(c);
	private static String getUnwoundString(char c){		switch(c){			case '\b' :				return "\\b";//$NON-NLS-1$			case '\t' :				return "\\t";//$NON-NLS-1$			case '\n' :				return "\\n";//$NON-NLS-1$			case '\f' :				return "\\f";//$NON-NLS-1$				case '\r' :				return "\\r";//$NON-NLS-1$			case '\"' :				return "\\\"";//$NON-NLS-1$			case '\'' :				return "\\\'";//$NON-NLS-1$			case '\\' :				return "\\\\";//$NON-NLS-1$			default: 				return String.valueOf(c);		}			}