void () { myAnnotationField.setText(myConfiguration.getLanguageAnnotationClass()); myPatternField.setText(myConfiguration.getPatternAnnotationClass()); mySubstField.setText(myConfiguration.getSubstAnnotationClass()); myNoInstrumentation.setSelected(myConfiguration.getInstrumentation() == Configuration.InstrumentationType.NONE); myAssertInstrumentation.setSelected(myConfiguration.getInstrumentation() == Configuration.InstrumentationType.ASSERT); myExceptionInstrumentation.setSelected(myConfiguration.getInstrumentation() == Configuration.InstrumentationType.EXCEPTION); setDfaOption(myConfiguration.getDfaOption()); myIncludeUncomputableOperandsAsCheckBox.setSelected(myConfiguration.isIncludeUncomputablesAsLiterals()); mySourceModificationAllowedCheckBox.setSelected(myConfiguration.isSourceModificationAllowed()); }