Re: target java version?

Alan Ezust <[email protected]> Wed, 26 Feb 2025 10:48:37 -0800
Newsgroups gmane.editors.jedit.devel
Message-ID <CALy5K9r8=_hQxgmvC7i-c0Y0Ekr7KjhOUgOsTE=L4zS=wE3_BA@mail.gmail.com>
--===============7654576500291616938==
Content-Type: multipart/alternative; boundary="0000000000009ffd05062f100732"

--0000000000009ffd05062f100732
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Oops. Ignore previous message. I didn't have the correct PATH set up.


On Wed, Feb 26, 2025 at 10:41=E2=80=AFAM Alan Ezust <[email protected]> =
wrote:

> Also, when I set the target java version to 17 (for example), I get
> "release version 17 not supported"
> I don't understand why yet.
>
>
> On Tue, Feb 25, 2025 at 7:38=E2=80=AFPM Alan Ezust <[email protected]>=
 wrote:
>
>> 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.
>>
>>
>>

--0000000000009ffd05062f100732
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>Oops. Ignore previous message. I didn&#39;t have the =
correct PATH set up.</div><div><br></div></div><br><div class=3D"gmail_quot=
e gmail_quote_container"><div dir=3D"ltr" class=3D"gmail_attr">On Wed, Feb =
26, 2025 at 10:41=E2=80=AFAM Alan Ezust &lt;<a href=3D"mailto:alan.ezust@gm=
ail.com">[email protected]</a>&gt; wrote:<br></div><blockquote class=3D"=
gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(20=
4,204,204);padding-left:1ex"><div dir=3D"ltr"><div>Also, when I set the tar=
get java version to 17 (for example), I get</div><div>&quot;release version=
 17 not supported&quot;</div><div>I don&#39;t understand why yet.</div><div=
><br></div></div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"g=
mail_attr">On Tue, Feb 25, 2025 at 7:38=E2=80=AFPM Alan Ezust &lt;<a href=
=3D"mailto:[email protected]" target=3D"_blank">[email protected]</a>=
&gt; wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px =
0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div=
 dir=3D"ltr"><div>Is there still a need to specify target java version? Wha=
t 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>
</blockquote></div>
</blockquote></div>

--0000000000009ffd05062f100732--


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


--===============7654576500291616938==
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

--===============7654576500291616938==--