xstream.aliasField("file-not-readable", SBMLErrorLog.class, "status");
xstream.aliasField("out-of-memory", SBMLErrorLog.class, "status");
xstream.aliasField("segmentation-fault", SBMLErrorLog.class, "status");
xstream.aliasField("internal-error", SBMLErrorLog.class, "status");
xstream.useAttributeFor(File.class);
xstream.useAttributeFor(Option.class, "name");
xstream.useAttributeFor(Option.class, "status");
xstream.useAttributeFor(SBMLError.class, "category");