diff -urN plugins.orig/org.eclipse.ui.browser/src/org/eclipse/ui/internal/browser/ExternalBrowserInstance.java plugins/org.eclipse.ui.browser/src/org/eclipse/ui/internal/browser/ExternalBrowserInstance.java --- plugins.orig/org.eclipse.ui.browser/src/org/eclipse/ui/internal/browser/ExternalBrowserInstance.java 2005-04-02 00:56:56.000000000 +0300 +++ plugins/org.eclipse.ui.browser/src/org/eclipse/ui/internal/browser/ExternalBrowserInstance.java 2005-04-05 21:01:09.000000000 +0300 @@ -74,7 +74,7 @@ public void run() { try { process.waitFor(); - DefaultBrowserSupport.getInstance().removeBrowser(getId()); + DefaultBrowserSupport.getInstance().removeBrowser(ExternalBrowserInstance.this.getId()); } catch (Exception e) { // ignore }