--- plugins/org.eclipse.pde.core/build.xml.orig 2007-10-24 06:31:15.000000000 +0900
+++ plugins/org.eclipse.pde.core/build.xml 2007-11-19 14:38:35.000000000 +0900
@@ -148,6 +148,10 @@
+
+
+
+
@@ -204,6 +208,8 @@
+
+
@@ -336,6 +342,10 @@
+
+
+
+
@@ -392,6 +402,8 @@
+
+