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