tree e99f7c29e15c6431adead07393c86300d866b779
parent 7a122a55c4932a0da80decae4566b2ee89c19582
author Rolf Theunissen <rolf.theunissen@gmail.com> 1606332653 +0100
committer Rolf Theunissen <rolf.theunissen@gmail.com> 1606332653 +0100

Use JavaSE-11 in launch targets when required

Change-Id: I27a38c4e725bf3a78dd4568fe5415cc948fa7459
Signed-off-by: Rolf Theunissen <rolf.theunissen@gmail.com>