boolean () { if (getInstrumentation() != myConfiguration.getInstrumentation()) { return true; } if (!myAnnotationField.getText().equals(myConfiguration.getLanguageAnnotationClass())) { return true; } if (!myPatternField.getText().equals(myConfiguration.getPatternAnnotationClass())) { return true; } if (!mySubstField.getText().equals(myConfiguration.getSubstAnnotationClass())) { return true; } if (!myConfiguration.getDfaOption().equals(getDfaOption())) { return true; } if (myConfiguration.isIncludeUncomputablesAsLiterals() != myIncludeUncomputableOperandsAsCheckBox.isSelected()) { return true; } if (myConfiguration.isSourceModificationAllowed() != mySourceModificationAllowedCheckBox.isSelected()) { return true; } return false; }