/** fill in instance file's extension list; if ext == null new list is created */ private ExtensionList initExtensions(ExtensionList ext) { String rqext [] = getRequiredExt (); if (ext == null) ext = new ExtensionList(); for (int i = 0; i < rqext.length; i++) ext.addExtension(rqext[i]); return ext; }