jpl_enumeration_element(+Enumeration:jref,
-Element:datum)
- 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
jpl_enumeration_element(+Enumeration:jref,
-Element:datum)