public void toString(StringBuffer s) {
   s.append("<");
   for (int i = 0; i < getNumTypeArgument(); i++) {
     if (i != 0) s.append(", ");
     getTypeArgument(i).toString(s);
   }
   s.append(">");
   super.toString(s);
 }