Change-Id: I560c88ee3e493199265b7e0b6019baed5686fdd4
Signed-off-by: Joerg Kubitz <jkubitz-eclipse@gmx.de>
Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.core/+/186281
Reviewed-by: Andrey Loskutov <loskutov@gmx.de>
Tested-by: JDT Bot <jdt-bot@eclipse.org>