--- plugins/org.eclipse.platform/build.xml.orig 2008-02-22 08:46:01.000000000 +0900 +++ plugins/org.eclipse.platform/build.xml 2008-03-11 00:02:20.000000000 +0900 @@ -169,12 +169,16 @@ + + + + @@ -243,8 +247,12 @@ + + + + @@ -267,6 +275,8 @@ + +