// Generated automatically from java.util.Vector for testing purposes

package java.util;

import java.io.Serializable;
import java.util.AbstractList;
import java.util.Collection;
import java.util.Comparator;
import java.util.Enumeration;
import java.util.Iterator;
import java.util.List;
import java.util.ListIterator;
import java.util.RandomAccess;
import java.util.Spliterator;
import java.util.function.Consumer;
import java.util.function.Predicate;
import java.util.function.UnaryOperator;

public class Vector<E> extends java.util.AbstractList<E> implements Cloneable, RandomAccess, Serializable, java.util.List<E>
{
    public boolean add(E p0){ return false; } // manual summary
    public int size(){ return 0; } // manual neutral
    public void addElement(E p0){} // manual summary

    public E get(int p0){ return null; }
}
