tree 2c27ac52e357caa24bbb5e79a66082516c545b59
parent fe07c0320f2f0850a85052911261e538725a3f52
author Stephan Herrmann <stephan.herrmann@berlin.de> 1555176039 +0200
committer Stephan Herrmann <stephan.herrmann@berlin.de> 1555176039 +0200

Releng: use previous SDK for installing the previous compiler into

- try to get latest jdt.ui as required plugin, not via feature