xstream.useAttributeFor(Option.class, "name");
xstream.useAttributeFor(Option.class, "status");
xstream.useAttributeFor(SBMLError.class, "category");
xstream.useAttributeFor(SBMLError.class, "code");
xstream.useAttributeFor(SBMLError.class, "severity");
xstream.useAttributeFor(Location.class, "line");
xstream.useAttributeFor(Location.class, "column");
xstream.useAttributeFor(Detail.class, "category");