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

package java.util;


public interface Enumeration<E>
{
    E nextElement(); // manual summary
    boolean hasMoreElements(); // manual neutral
}
