tree 5cd040a6892ed05886ff8b3f5dc4262b539e389c
parent c2c485399cb709ddcaf4973fe5f52f47b66a1163
author Andrey Loskutov <loskutov@gmx.de> 1644601367 +0100
committer Andrey Loskutov <loskutov@gmx.de> 1644608845 -0500

Bug 578706 - "Failed to save JDT index" error on deleted index

Avoid saving deleted index and don't report error if that was not
possible to avoid.

Change-Id: I35328d8b9e5282718e9e6e4640f0559521b4139c
Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.core/+/190733
Tested-by: JDT Bot <jdt-bot@eclipse.org>
Reviewed-by: Andrey Loskutov <loskutov@gmx.de>