writer = new OutputStreamWriter(new FileOutputStream(file), encoding);
format.setEncoding(encoding);
Serializer serializer = new XMLSerializer(writer, format);
Marshaller marshaller = new Marshaller(serializer.asDocumentHandler());
marshaller.setMapping(this.mapping);
marshaller.marshal(fragment);
}
catch (Throwable t)
{
logger.error("RegistryService: Could not marshal: " + file, t);
}