@Override
  public boolean equals(Object obj) {
    return obj.getClass() == StructuralSearchInspectionToolWrapper.class &&
           ((StructuralSearchInspectionToolWrapper)obj).myTool.getShortName().equals(myTool.getShortName());
  }
@Override
  public boolean equals(Object obj)