--- plugins/org.eclipse.platform/build.xml.orig 2007-08-26 22:39:40.000000000 +0900 +++ plugins/org.eclipse.platform/build.xml 2007-08-27 00:31:06.000000000 +0900 @@ -275,6 +275,8 @@ + +