// be ultra safe here because the user may be trying to mix different factories
if (unregistered.__vorba==null)
unregistered.__vorba = vorbafactory;
else
if (unregistered.__vorba!=vorbafactory) {
// LATER: decide if this is allowed - it isn't for the moment.
// be ultra safe here because the user may be trying to mix different factories
if (unregistered.__vorba==null)
unregistered.__vorba = vorbafactory;
else
if (unregistered.__vorba!=vorbafactory) {
// LATER: decide if this is allowed - it isn't for the moment.