// push the stack
AttributesImpl a = attStack[stackTop];
if( a==null )
attStack[stackTop] = a = new AttributesImpl();
else
a.clear();
// since Attributes object is mutable, it is criticall important
// to make a copy.
// also symbolize attribute names
for( int i=0; i<atts.getLength(); i++ ) {