private String saveConvert(String theString, boolean escapeSpace) {
		int len = theString.length();
		int bufLen = len * 2;
		if (bufLen < 0) {
			bufLen = Integer.MAX_VALUE;
		}
		StringBuffer outBuffer = new StringBuffer(bufLen);

		for (int x = 0; x < len; x++) {
			char aChar = theString.charAt(x);
			// Handle common case first, selecting largest block that
			// avoids the specials below
			if ((aChar > 61) && (aChar < 127)) {
				if (aChar == '\\') {
					outBuffer.append('\\');
					outBuffer.append('\\');
					continue;
				}
				outBuffer.append(aChar);
				continue;
			}
			switch (aChar) {
			case ' ':
				if (x == 0 || escapeSpace)
					outBuffer.append('\\');
				outBuffer.append(' ');
				break;
			case '\t':
				outBuffer.append('\\');
				outBuffer.append('t');
				break;
			case '\n':
				outBuffer.append('\\');
				outBuffer.append('n');
				break;
			case '\r':
				outBuffer.append('\\');
				outBuffer.append('r');
				break;
			case '\f':
				outBuffer.append('\\');
				outBuffer.append('f');
				break;
			case '=': // Fall through
			case ':': // Fall through
			case '#': // Fall through
			case '!':
				outBuffer.append('\\');
				outBuffer.append(aChar);
				break;
			default:
				outBuffer.append(aChar);
			}
		}
		return outBuffer.toString();
	}
private String saveConvert ( String theString , boolean escapeSpace ) { int len = theString . length ( ) ; int bufLen = len * 2 ; if ( bufLen < 0 ) { bufLen = Integer . MAX_VALUE ; } StringBuffer outBuffer = new StringBuffer ( bufLen ) ; for ( int x = 0 ; x < len ; x ++ ) { char aChar = theString . charAt ( x ) ; if ( ( aChar > 61 ) && ( aChar < 127 ) ) { if ( aChar == '\\' ) { outBuffer . append ( '\\' ) ; outBuffer . append ( '\\' ) ; continue ; } outBuffer . append ( aChar ) ; continue ; } switch ( aChar ) { case ' ' : if ( x == 0 || escapeSpace ) outBuffer . append ( '\\' ) ; outBuffer . append ( ' ' ) ; break ; case '\t' : outBuffer . append ( '\\' ) ; outBuffer . append ( 't' ) ; break ; case '\n' : outBuffer . append ( '\\' ) ; outBuffer . append ( 'n' ) ; break ; case '\r' : outBuffer . append ( '\\' ) ; outBuffer . append ( 'r' ) ; break ; case '\f' : outBuffer . append ( '\\' ) ; outBuffer . append ( 'f' ) ; break ; case '=' : case ':' : case '#' : case '!' : outBuffer . append ( '\\' ) ; outBuffer . append ( aChar ) ; break ; default : outBuffer . append ( aChar ) ; } } return outBuffer . toString ( ) ; }
/*
Converts unicodes to encoded &#92;uxxxx and escapes special characters
with a preceding slash