--- plugins/org.eclipse.jdt.launching/build.xml.orig 2007-10-24 06:31:15.000000000 +0900 +++ plugins/org.eclipse.jdt.launching/build.xml 2007-11-19 14:01:46.000000000 +0900 @@ -148,6 +148,10 @@ + + + + @@ -305,6 +309,10 @@ + + + +