ConfigurationDefinition resultsConfigurationDefinition = operationDefinition
.getResultsConfigurationDefinition();
if (resultsConfigurationDefinition != null
&& !resultsConfigurationDefinition.getPropertyDefinitions().isEmpty()
&& 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);