String insertText = provider.getInsertText( selection.getFirstElement( ) ); if ( insertText != null )
if ( selection.getFirstElement( ) instanceof Object[] )
		public void doubleClick( DoubleClickEvent event )		{			IStructuredSelection selection = (IStructuredSelection) event.getSelection( );			if ( selection.isEmpty( ) )			{				return;			}			if ( event.getSource( ) == functionTable )			{				String insertText = provider.getInsertText( selection.getFirstElement( ) );				if ( insertText != null )				{					insertText( insertText );				}				return;			}		}