Object value = attrs[i].getValue();
if (value != null) {
if (att instanceof SimpleAttribute) {
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++) {