result.append(c); ++index;
else if (!Character.isWhitespace (c)) result.append (c);  ++index;
  private final int text_argument (String rules, int index,				   StringBuffer result)  {    result.setLength(0);    int len = rules.length();    while (index < len)      {	char c = rules.charAt(index);	if (c == '\'' && index + 2 < len	    && rules.charAt(index + 2) == '\''	    && is_special (rules.charAt(index + 1)))	  index += 2;	else if (is_special (c) || Character.isWhitespace(c))	  return index;	result.append(c);	++index;      }    return index;  }