SimpleAttribute sa = (SimpleAttribute) att;
prt.println("\t"+att.getName()+"="+
sa.pickle(attrs[i].getValue()));
} else if (att instanceof ArrayAttribute) {
ArrayAttribute aa = (ArrayAttribute) att;
String values[] = aa.pickle(attrs[i].getValue());
prt.print("\t"+att.getName()+"=");
for (int j = 0 ; j < values.length ; j++) {
if (j != 0)
prt.print(" | ");
prt.print(values[j]);