[ jEdit-devel ] target java version?

[Alan E. <ala...@gm...>]

Is there still a need to specify target java version? What should we set it
to?
Right now it is java 11 and that seems to be problematic when using more
modern jdks.