Not sure if this is something that would cause any problems but I thought I would post a message just in case.
Looking at the method getCurrentView in HAPartitionImpl the value of this.members is checked to make sure that it is not null before copying the values to the newly created Vector.
If there is any possibility that this.members could be null a NullPointerException would have already been thrown when it's size was checked on the previous line.
Vector result = new Vector (this.members.size ());
if (this.members != null)
{
for (int i = 0; i < this.members.size (); i++)
result.add (this.members.elementAt (i).toString ());
}
return result;
