--- plugins/org.eclipse.jdt.launching/build.xml.orig 2007-06-26 04:39:43.000000000 +0900 +++ plugins/org.eclipse.jdt.launching/build.xml 2007-09-05 23:18:19.000000000 +0900 @@ -148,6 +148,10 @@ + + + +