[nobug] update to use the newest version of jdt.launching from bug
306220
1 file changed