import java.util.Vector;

/* Empty extension of Vector for safe
 * extension with aspects.
 */
public class MyVector extends Vector {

}