else if ( targetBookmarkButton.getSelection( ) ) { initAnchorChooser( targetReportHandle, false ); }
				public void widgetSelected( SelectionEvent e )				{					if ( tocButton.getSelection( ) )					{						initAnchorChooser( targetReportHandle, true );					}					else if ( targetBookmarkButton.getSelection( ) )					{						initAnchorChooser( targetReportHandle, false );					}				}