private final void quoteFix (StringBuffer buf, String text, String patChars)
private void quoteFix(StringBuffer buf, String text, String patChars)
  private final void quoteFix (StringBuffer buf, String text, String patChars)  {		int len = text.length();    for (int index = 0; index < len; ++index)      {			char c = text.charAt(index);	if (patChars.indexOf(c) != -1)	  {				buf.append('\'');				buf.append(c);				buf.append('\'');	  }	else				buf.append(c);		}	}