import EDU.neu.ccs.demeter.dj.*;
import java.util.*;

// this class will soon no longer be necessary
// any Collection class will be automatically traversed
// unless an edge is specifically excluded

public class MyVector extends Vector implements EDU.neu.ccs.demeter.dj.Collection {
  
  MyVector() {super();}
}