--- plugins/org.eclipse.pde.ui/build.xml.orig 2007-09-22 01:26:07.000000000 +0900 +++ plugins/org.eclipse.pde.ui/build.xml 2007-10-10 22:40:33.000000000 +0900 @@ -174,6 +174,10 @@ + + + + @@ -224,6 +228,8 @@ + + @@ -252,6 +258,10 @@ + + + +