tree 0a8843bdde71443e2e3ac72c63f44f30fcb29b56
parent 783990a5d1836b3ba32fad5e13bdfa6f781a860b
author Andrey Loskutov <loskutov@gmx.de> 1624041204 +0200
committer Andrey Loskutov <loskutov@gmx.de> 1624046009 -0400

Bug 574310 - Move jdt.ui to Java 11

Change-Id: Ic02a55640939dadcc8acd399a87b7a8cd0cac5e3
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/182192
Tested-by: JDT Bot <jdt-bot@eclipse.org>