eclipse-string.patch

   1 --- eclipse.org/plugins/org.eclipse.ui.browser/src/org/eclipse/ui/internal/browser/ExternalBrowserInstance.java.org     2005-04-22 22:03:17.187138192 +0200
   2 +++ eclipse/plugins/org.eclipse.ui.browser/src/org/eclipse/ui/internal/browser/ExternalBrowserInstance.java     2005-04-22 22:03:49.504520112 +0200
   3 @@ -74,7 +74,7 @@
   4                         public void run() {
   5                                 try {
   6                                         process.waitFor();
   7 -                                       DefaultBrowserSupport.getInstance().removeBrowser(getId());
   8 +                                       DefaultBrowserSupport.getInstance().removeBrowser(Long.toString(getId()));
   9                                 } catch (Exception e) {
  10                                         // ignore
  11                                 }
  12 @@ -92,4 +92,4 @@
  13                         return false;
  14                 }
  15         }
  16 -}
  17 \ Brak znaku nowej linii na koñcu pliku
  18 +}