public class Item2 extends Item implements Locator  {
  private Position pos;
  Item2 (Object k, Object e, Position p) {
    super(k, e);
    pos = p;
  }
  protected Position position() {return pos; }
  protected void setPosition(Position p) { pos = p; }
}