[cdt-patch] Simple patch for StandardBuidManager.java

["Alex Chapiro" <achapiro@xxxxxxx>]

This patch just fixes a bug in code:

Alex Chapiro

Index: StandardBuildManager.java
===================================================================
RCS file:
/home/tools/org.eclipse.cdt.core/build/org/eclipse/cdt/core/build/standard/S
tandardBuildManager.java,v
retrieving revision 1.3
diff -u -r1.3 StandardBuildManager.java
--- StandardBuildManager.java 10 Jul 2003 18:28:24 -0000 1.3
+++ StandardBuildManager.java 11 Jul 2003 19:44:20 -0000
@@ -209,8 +209,10 @@
   NodeList nodes = rootElement.getChildNodes();
   for (int i = 0; i < nodes.getLength(); ++i) {
    Node node = nodes.item(i);
-   if (node instanceof Element)
+   if (node instanceof Element) {
     rootElement.removeChild(nodes.item(i));
+    --i;
+   }
   }

   // Save the build info