public SubPartitionInfo() 
{
   // Static --------------------------------------------------------
   // Constructors --------------------------------------------------
}

 public SubPartitionInfo(String partitionName,
    String[] members) 
{
      super ();
      this.subPartitionName = partitionName;
      if (members != null)
         for (int i=0; i< members.length; i++)
            this.memberNodeNames.add (members[i]);
}

 public boolean actsForSubPartition(String subPartitionName) 
{
      return (subPartitionName.equals (subPartitionName) || subPartitionMergedNames.contains (subPartitionName));
}

 public Object clone() 
{
      SubPartitionInfo clonedObject = new SubPartitionInfo ();
      clonedObject.subPartitionName = this.subPartitionName;
      clonedObject.memberNodeNames = (ArrayList)this.memberNodeNames.clone ();
      clonedObject.subPartitionMergedNames = (HashSet)this.subPartitionMergedNames.clone ();
      return clonedObject;
}

 public int compareTo(Object o) 
{
      int mySize = memberNodeNames.size ();
      int itsSize = ((SubPartitionInfo)o).memberNodeNames.size ();
      if (mySize==itsSize)
         return 0;
      else if (mySize  > itsSize)
         return 1;
      else
         return -1;
}

"Note: this class has a natural ordering that is inconsistent with equals."

 public boolean containsNode(String node) 
{
      return memberNodeNames.contains (node);
}

 public  void merge(SubPartitionInfo merged) 
{
      this.memberNodeNames.addAll (merged.memberNodeNames);
      if (this.newGroup && !merged.newGroup)
         this.subPartitionName = merged.subPartitionName;
      else if (!merged.newGroup)
         this.subPartitionMergedNames.add (merged.subPartitionName);
      if (!merged.newGroup)
         this.subPartitionMergedNames.add (merged.subPartitionName);
      this.subPartitionMergedNames.addAll (merged.subPartitionMergedNames); // ? needed ?
      merged.memberNodeNames.clear ();
      merged.subPartitionMergedNames.clear ();
}

 public  void setIsNewGroup() 
{
      this.newGroup = true;
}

 public String toString() 
{
      return subPartitionName + ":[" + memberNodeNames + "] aka '" + subPartitionMergedNames + "'";
}