protected void setEncoding(Resource aResource) { if (aResource instanceof org.eclipse.emf.ecore.xmi.XMLResource) ((org.eclipse.emf.ecore.xmi.XMLResource) aResource).setEncoding(archive.getXmlEncoding()); }
copy.setXmlEncoding(source.getXmlEncoding()); if (source.isManifestSet()) { copy.setManifest(copy(source.getManifest()));