<s>[INST] convert characters in a java string to the escaped form that must be used in . properties files . concode_field_sep char[] HEX_DIGITS concode_field_sep int getHexDigitValue concode_elem_sep String unescapeBackslashes concode_elem_sep boolean containsInvalidEscapeSequence concode_elem_sep char toHex concode_elem_sep boolean containsUnescapedBackslash concode_elem_sep String unescape concode_elem_sep boolean containsEscapedBackslashes [/INST] String function ( String arg0 , boolean arg1 , boolean arg2 , boolean arg3 ) { StringBuffer loc0 = new StringBuffer ( arg0 . loc1 ( ) ) ; int loc1 = arg0 . loc1 ( ) ; for ( int loc2 = 0 ; loc2 < loc1 ; loc2 ++ ) { char loc3 = arg0 . charAt ( loc2 ) ; loc0 . append ( escape ( loc3 , arg1 , arg2 , arg3 ) ) ; } return loc0 . toString ( ) ; </s>