for( int i=1; i<members.length; i++ )
r+= "/\""+members[i].toString()+"\"";
r = "("+r+")"; // oh, don't tell me I should use StringBuffer.
throw new DatatypeException( DatatypeException.UNKNOWN,
localize(ERR_ENUMERATION_WITH_ARG, r) );
}
}
throw new DatatypeException( DatatypeException.UNKNOWN,
localize(ERR_ENUMERATION) );
}