changeDataType( dataType.findChoiceByDisplayName( dataTypeChooser.getText( ) ) .getName( ) );
			public void widgetSelected( SelectionEvent e )			{				if ( selectedParameter != null						&& selectedParameter != newParameter )				{					changeDataType( dataType.findChoiceByDisplayName( dataTypeChooser.getText( ) )							.getName( ) );					try					{						selectedParameter.setDataType( dataType.findChoiceByDisplayName( dataTypeChooser.getText( ) )								.getName( ) );					}					catch ( SemanticException e1 )					{						ExceptionHandler.handle( e1 );					}				}			}