[jdt-dev] Move batch compiler to Java 17

[Andrey Loskutov <loskutov@xxxxxx>]

Hi all,

Please see and comment on https://github.com/eclipse-jdt/eclipse.jdt.core/issues/886

-- 
Kind regards,
Andrey Loskutov

Спасение утопающих - дело рук самих утопающих

https://www.eclipse.org/user/aloskutov