diff -urN eclipse.orig/build.xml eclipse/build.xml --- eclipse.orig/build.xml 2003-11-03 14:29:23.000000000 +0100 +++ eclipse/build.xml 2004-01-14 20:27:03.777314290 +0100 @@ -8,6 +8,13 @@ + + + + + + + @@ -28,7 +35,7 @@ Compiles jars for all sdk plugins, and generates javadoc. Deletes previously compiled jars first. --> - +