diff -r 000000000000 -r 30eb2d538f02 configtool/lib/org.eclipse.jdt.launching_3.3.1.v20070808_r331.jar
Binary file configtool/lib/org.eclipse.jdt.launching_3.3.1.v20070808_r331.jar has changed