if ( selectedChoice == dummyChoice ) { isEnable = false; }
	private void updateTableButtons( )	{		boolean isEnable = true;		SelectionChoice selectedChoice = null;		if ( valueTable.getSelection( ).isEmpty( ) )		{			isEnable = false;		}		else		{			selectedChoice = (SelectionChoice) ( (IStructuredSelection) valueTable.getSelection( ) ).getFirstElement( );			if ( selectedChoice == dummyChoice )			{				isEnable = false;			}		}		boolean isDefault = isEnable && isDefaultChoice( selectedChoice );		if ( isDefault )		{			changeDefault.setText( BUTTON_LABEL_REMOVE_DEFAULT );		}		else		{			changeDefault.setText( BUTTON_LABEL_SET_DEFAULT );		}		changeDefault.setSelection( isDefault );		changeDefault.setEnabled( isEnable );		delete.setEnabled( isEnable );	}