docs: public static String unbackQuoteChars(String string) {
  
      int index;
      StringBuffer newStringBuffer;
      
      // replace each of the following characters with the backquoted version
      String charsFind[]    = {"\\\\", "\\'", "\\t", "\\n", "\\r", "\\\"", "\\%",
          "\\u001E"};
      char   charsReplace[] = {'\\',   '\'',  '\t',  '\n',  '\r',  '"',    '%',
          '\u001E'};
      int pos[] = new int[charsFind.length];
      int	curPos;
      
      String str = new String(string);
      newStringBuffer = new StringBuffer();
      while (str.length() > 0) {
        // get positions and closest character to replace
        curPos = str.length();
        index  = -1;
        for (int i = 0; i < pos.length; i++) {
  	pos[i] = str.indexOf(charsFind[i]);
  	if ( (pos[i] > -1) && (pos[i] < curPos) ) {
  	  index  = i;
  	  curPos = pos[i];
  	}
        }
        
        // replace character if found, otherwise finished
        if (index == -1) {
  	newStringBuffer.append(str);
  	str = "";
        }
        else {
  	newStringBuffer.append(str.substring(0, pos[index]));
  	newStringBuffer.append(charsReplace[index]);
  	str = str.substring(pos[index] + charsFind[index].length());
        }
      }
  
      return newStringBuffer.toString();
    }