target java version?

--===============8724036089909060446==
Content-Type: multipart/alternative; boundary="000000000000ca95ed062f034f74"

--000000000000ca95ed062f034f74
Content-Type: text/plain; charset="UTF-8"

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.

--000000000000ca95ed062f034f74
Content-Type: text/html; charset="UTF-8"

<div dir="ltr"><div>Is there still a need to specify target java version? What should we set it to?</div><div>Right now it is java 11 and that seems to be problematic when using more modern jdks.</div><div><br></div><div><br></div></div>

--000000000000ca95ed062f034f74--


--===============8724036089909060446==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============8724036089909060446==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel

--===============8724036089909060446==--