addAttributes(Map attributes, int begin_index, int end_index) {
public void addAttributes(Map attributes, int begin_index, int end_index) {
addAttributes(Map attributes, int begin_index, int end_index){  if (attributes == null)    throw new IllegalArgumentException("null attribute");  if ((begin_index < 0) || (end_index > sci.getEndIndex()) ||      (end_index < begin_index))    throw new IllegalArgumentException("bad range");  AttributeRange[] new_list = new AttributeRange[attribs.length + 1];  System.arraycopy(attribs, 0, new_list, 0, attribs.length);  attribs = new_list;  attribs[attribs.length - 1] = new AttributeRange(attributes, begin_index,                                                    end_index);} 