Change-Id: Ia06f298571c08d5f4502f8d1dc5245e960b47c78
Signed-off-by: Hannes Wellmann <wellmann.hannes1@gmx.net>
Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.core/+/191877
Tested-by: JDT Bot <jdt-bot@eclipse.org>
Reviewed-by: Andrey Loskutov <loskutov@gmx.de>