/**
* Tests whether two <code>Partition</code> objects are equal, based on their names and hosting
* server.
*
* @param otherPartition the Partition to test
* @return whether the specifed Partition is the same as this Partition
*/
public boolean equals(Partition otherPartition) {
return (name.equals(otherPartition.getName()))
&& (getServer().equals(otherPartition.getServer()));
}
