/WeightedPartition.java/1.1/Thu Apr  3 14:42:27 2003//
D
