&& operationHistory.getResults() != null) {
ConfigurationEditor editor = new ConfigurationEditor(
operationDefinition.getResultsConfigurationDefinition(), operationHistory.getResults());
editor.setPreserveTextFormatting(true);
editor.setReadOnly(true);
resultsSection.addMember(editor);
} else {
Label noResultsLabel = new Label(MSG.view_operationHistoryDetails_noResults());
noResultsLabel.setHeight(17);
resultsSection.addMember(noResultsLabel);
}