/** Class specializing the generic merge template to subtract two sets */
public class SubtractMerger extends Merger {
  protected void aIsLess(Object a, Sequence C) {
    C.insertLast(a);	// add a
  }
  protected void bothAreEqual(Object a, Object b, Sequence C) { } 
  protected void bIsLess(Object b, Sequence C) { } 
}