Change platform to require Java 11 or later
Due to the recent external etc. component updates, it would seem simpler to just move to require Java 11 in one go instead of gradually moving there. The changes done in #486 (closed) and JEP 320 are making dependency management a pure nightmare if we try to keep working with both older and newer JREs.