public void widgetSelected( SelectionEvent e )
public void widgetSelected( SelectionEvent event )
			public void widgetSelected( SelectionEvent e )			{				intervalRange.setEnabled( intervalType.getSelectionIndex( ) != 0 );			}