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

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