ServerInterface server)
throws JournalException {
super(parameters, role, server);
if (!parameters.containsKey(PARAMETER_JOURNAL_FILENAME)) {
throw new JournalException("Parameter '"
+ PARAMETER_JOURNAL_FILENAME + "' not set.");
}
try {
out = new FileWriter(parameters.get(PARAMETER_JOURNAL_FILENAME));
XMLOutputFactory factory = XMLOutputFactory.newInstance();
writer =
new IndentingXMLEventWriter(factory
.createXMLEventWriter(out));
} catch (IOException e) {
throw new JournalException(e);
} catch (XMLStreamException e) {
throw new JournalException(e);
}
}