/** Updates the enablement state of the action buttons according to the current selection. */
 private void updateButtons() {
   if (addButton != null) {
     addButton.setEnabled(currentWorkingSet != null);
   }
   if (removeButton != null) {
     removeButton.setEnabled((currentConfig != null) && !currentConfig.isReadOnly());
   }
   if (renameButton != null) {
     renameButton.setEnabled((currentConfig != null) && !currentConfig.isReadOnly());
   }
   if (activateButton != null) {
     activateButton.setEnabled((currentConfig != null) && !currentConfig.isActive());
   }
   if (buildButton != null) {
     buildButton.setEnabled(currentConfig != null);
   }
 }