diff -r 000000000000 -r 30eb2d538f02 configtool/lib/org.eclipse.ui.ide_3.3.1.M20070910-0800b.jar
Binary file configtool/lib/org.eclipse.ui.ide_3.3.1.M20070910-0800b.jar has changed