super();
if (globalAttributes == null) {
throw new NullPointerException("Missing global format attributes.");
}
this.chronology = old.chronology;
<BUG>this.overrideHandler = old.overrideHandler;
this.globalAttributes = globalAttributes;</BUG>
this.leniency = this.globalAttributes.get(Attributes.LENIENCY, Leniency.SMART);
this.defaults = Collections.unmodifiableMap(new NonAmbivalentMap(old.defaults));
this.fracproc = old.fracproc;

super();
if (globalAttributes == null) {
throw new NullPointerException("Missing global format attributes.");
}
this.chronology = old.chronology;
this.overrideHandler = old.overrideHandler;
this.deepestParser = old.deepestParser;
this.globalAttributes = globalAttributes;
this.leniency = this.globalAttributes.get(Attributes.LENIENCY, Leniency.SMART);
this.defaults = Collections.unmodifiableMap(new NonAmbivalentMap(old.defaults));
this.fracproc = old.fracproc;
