/** Set the extension list for this data loader. * Checks if all required extensions are in new list of extensions. * @param ext new list of extensions */ public void setExtensions(ExtensionList ext) { super.setExtensions(initExtensions(ext)); }
/** Reads nothing from the stream. * @param oi ignored */ public void readExternal (java.io.ObjectInput oi) throws IOException, ClassNotFoundException { SafeException se; try { super.readExternal (oi); se = null; } catch (SafeException se2) { se = se2; } setExtensions ((ExtensionList)oi.readObject ()); if (se != null) throw se; }