95     static int encodeCharacterEncoding(String encoding)  in encodeCharacterEncoding()  argument
98 	if (encoding.equals(ASCII)) {  in encodeCharacterEncoding()
100 	} else if (encoding.equals(LATIN1)) {  in encodeCharacterEncoding()
102 	} else if (encoding.equals(UTF8)) {  in encodeCharacterEncoding()
104 	} else if (encoding.equals(UNICODE)) {  in encodeCharacterEncoding()
106 	} else if (encoding.equals(UNICODE_BIG)) {  in encodeCharacterEncoding()
108 	} else if (encoding.equals(UNICODE_LITTLE)) {  in encodeCharacterEncoding()
110 	} else if (encoding.equals(UNICODE_BIG_NO_HDR)) {  in encodeCharacterEncoding()
118 				new Object[] {encoding});  in encodeCharacterEncoding()
159     static String escapeChar(char c, String encoding)  in escapeChar()  argument
165 	    OutputStreamWriter osw = new OutputStreamWriter(baos, encoding);  in escapeChar()
176 				new Object[] {encoding});  in escapeChar()
187 	if (encoding.equals(UNICODE) || 	  in escapeChar()
188 	    encoding.equals(UNICODE_BIG) ||  in escapeChar()
189 	    encoding.equals(UNICODE_LITTLE)) {  in escapeChar()
201 				new Object[] {new Character(c), encoding});  in escapeChar()
204 	} else if (encoding.equals(ASCII) || encoding.equals(LATIN1)) {  in escapeChar()
213 				new Object[] {new Character(c), encoding});  in escapeChar()
215 	} else if (encoding.equals(UTF8)) {  in escapeChar()
222 				new Object[] {new Character(c), encoding});  in escapeChar()
251     static String unescapeChar(String ch, String encoding)  in unescapeChar()  argument
264 				new Object[] {ch, encoding});  in unescapeChar()
284 	if (encoding.equals(UNICODE_BIG) ||  in unescapeChar()
285 	    encoding.equals(UNICODE_LITTLE)) {  in unescapeChar()
292 	} else if (encoding.equals(LATIN1) || encoding.equals(ASCII)) {  in unescapeChar()
302 				new Object[] {ch, encoding});  in unescapeChar()
306 	} else if (encoding.equals(UTF8)) {// vari-byte  in unescapeChar()
313 				new Object[] {ch, encoding});  in unescapeChar()
334 	    str = new String(b, encoding);  in unescapeChar()
339 			  new Object[] {encoding});  in unescapeChar()