Better fix from https://bugs.eclipse.org/bugs/show_bug.cgi?id=90155

Changed files:
    eclipse-string.patch -> 1.2

diff --git a/eclipse-string.patch b/eclipse-string.patch
index 7a8fcba762662842d25dafeaecfbbb46604f4d6b..786a6079f0f82338deafc4fe8ce71b5eb0372b07 100644 (file)
--- a/eclipse-string.patch
+++ b/eclipse-string.patch
@@ -5,7 +5,7 @@
                                try {
                                        process.waitFor();
 -                                      DefaultBrowserSupport.getInstance().removeBrowser(getId());
-+                                      DefaultBrowserSupport.getInstance().removeBrowser(Long.toString(getId()));
++                                      DefaultBrowserSupport.getInstance().removeBrowser(ExternalBrowserInstance.this.getId());
                                } catch (Exception e) {
                                        // ignore
                                }