Bug 168455 provider name not provided in jdt.launching plugin
1 file changed