- jpl_enumeration_element(+Enumeration:jref, -Element:datum)
- Generates each Element from Enumeration.
- if the element is a java.lang.String then Element will be an atom
- if the element is null then Element will (oughta) be null
- otherwise I reckon it has to be an object ref