void (final Element element) { setInstrumentationType(JDOMExternalizerUtil.readField(element, INSTRUMENTATION_TYPE_NAME)); setLanguageAnnotation(JDOMExternalizerUtil.readField(element, LANGUAGE_ANNOTATION_NAME)); setPatternAnnotation(JDOMExternalizerUtil.readField(element, PATTERN_ANNOTATION_NAME)); setSubstAnnotation(JDOMExternalizerUtil.readField(element, SUBST_ANNOTATION_NAME)); if (readBoolean(element, RESOLVE_REFERENCES, true)) { setDfaOption(DfaOption.RESOLVE); } if (readBoolean(element, LOOK_FOR_VAR_ASSIGNMENTS, false)) { setDfaOption(DfaOption.ASSIGNMENTS); } if (readBoolean(element, USE_DFA_IF_AVAILABLE, false)) { setDfaOption(DfaOption.DFA); } setIncludeUncomputablesAsLiterals(readBoolean(element, INCLUDE_UNCOMPUTABLES_AS_LITERALS, false)); setSourceModificationAllowed(readBoolean(element, SOURCE_MODIFICATION_ALLOWED, false)); }