public class ComparePersonByNumber
  implements GComparator
{
  public boolean mayPrecede(Object a, Object b) {
    return ((Person) a).number <= ((Person) b).number;
  } // mayPrecede(Object, Object)
} // class ComparePersonByNumber