/* (non-Javadoc)
  * @see IMarkerDelta#getAttributes(String[])
  */
 public Object[] getAttributes(String[] attributeNames) {
   return info.getAttributes(attributeNames);
 }
 /* (non-Javadoc)
  * @see IMarkerDelta#getAttributes()
  */
 public Map getAttributes() {
   return info.getAttributes();
 }