else
string = "\\u" + def + "'";
ret = string;
} else if (utype instanceof EnumEntry) {
Enumeration e = labels.elements ();
EnumEntry enumEntry = (EnumEntry)utype;
Vector enumList = (Vector)enumEntry.elements ().clone ();
// cull out those elements in the enumeration list that are
// in the cases of this union
while (e.hasMoreElements ())
enumList.removeElement (e.nextElement ());
// If all of the enum elements are covered in this union and
// there is a default statement, just pick one of the
// elements for the default. If there are enum elements
// which are NOT covered by the cases, pick one as the
// default.
if (enumList.size () == 0)
ret = typePackage + (String)enumEntry.elements ().lastElement ();
else
ret = typePackage + (String)enumList.firstElement ();
} else if (utype.name ().equals ("octet")) {
short def = Byte.MIN_VALUE;
while (def != Byte.MAX_VALUE && labels.contains (Integer.toString (def)))