|| !((DiffHeaderFormat) element).isCommitRequired();
}
}});
String formatName = getDialogSettings().get(FORMAT_KEY);
DiffHeaderFormat selection = DiffHeaderFormat.NONE;
if (formatName != null)
try {
selection = DiffHeaderFormat.valueOf(formatName);
} catch (IllegalArgumentException ex) {
// Use default