tree c72b47181abc7b1d873b3173d31c3c58f2e5cefb
parent 2ec8855b9965990aafe6213a8e1f08d95017244f
author Darin Wright <darin> 1166542795 +0000
committer Darin Wright <darin> 1166542795 +0000

Bug 168455 provider name not provided in jdt.launching plugin