hasMoreElements
JavaEnumeration
ScalaEnumeration