private final void quoteString (StringBuffer dest, String text)
private void quoteString (StringBuffer dest, String text)
  private final void quoteString (StringBuffer dest, String text)  {    int max = text.length();    for (int i = 0; i < max; ++i)      {	char c = text.charAt(i);	if (c == '\'')	  {	    dest.append(c);	    dest.append(c);	  }	else if (c == '#' || c == '|' || c == '\u2064' || c == '<')	  {	    dest.append('\'');	    dest.append(c);	    dest.append('\'');	  }	else	  dest.append(c);      }  }