Bug 507546 - Skip debug value codemining provider without debug launch No need to crawl files if there is no debug launch running. Change-Id: I6da47bbe568c88c47a4e61ce184140d945301581 Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.debug/+/190835 Tested-by: Andrey Loskutov <loskutov@gmx.de> Reviewed-by: Andrey Loskutov <loskutov@gmx.de>