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);
}
public void flushCollectionCache() {
super.flushCollectionCache();
}
public void flushCache() {
super.flushCache();
}