tree 72ccdfc742b9bbb4a376e5eb1a23fc7ebca76d34
parent 70a787e207bdde722630656b68d720d5077b0e6d
author Joerg Kubitz <jkubitz-eclipse@gmx.de> 1644918026 +0100
committer Jörg Kubitz <jkubitz-eclipse@gmx.de> 1648014015 -0400

Bug 579065 - parallel workspace save

copied from jdt JavaModelManager
https://bugs.eclipse.org/bugs/show_bug.cgi?id=576646#c30

Change-Id: Id33bfe7e94d5a62c967a5dad120aa007ef845b2a
Signed-off-by: Joerg Kubitz <jkubitz-eclipse@gmx.de>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.resources/+/190808
Tested-by: Platform Bot <platform-bot@eclipse.org>