Update target platform to Java ≥ 17
Since Eclipse Platform is moving to Java 17 as required runtime, we can update the target platform to Java ≥ 17 too.
This will allow to use newer Java features and make it easier to fix compatibility with upcoming Java versions (e.g. #38 (closed)).