module java.util.Enumeration; import java.lang.all; interface Enumeration { public bool hasMoreElements(); public Object nextElement(); }