public AttrSet(Attr[] attrs){
  int size=attrs.length;
  _attrs=new ArrayList(size);
  for (int i=0; i < size; i++) {
    _attrs.add(attrs[i]);
  }
}

public AttrSet ( Attr [ ] attrs ) { int size = attrs . length ; _attrs = new ArrayList ( size ) ; for ( int i = 0 ; i < size ; i ++ ) { _attrs . add ( attrs [ i ] ) ; } }
construct attribute set given an array of attributes .
