non-anonymoous enumerations are not quite compatible with our Python and Java bindings. Is it possible to make the enumeration anonymous?