Re: [jdt-dev] Changes to JDT Core gerrit

["Daniel Megert" <daniel_megert@xxxxxxxxxx>]

Yes, I was wondering
the same.

Dani



From:
       Aleksandar
Kurtakov <akurtako@xxxxxxxxxx>
To:
       "Eclipse
JDT general developers list." <jdt-dev@xxxxxxxxxxx>
Date:
       18.05.2020
11:46
Subject:
       [EXTERNAL]
Re: [jdt-dev] Changes to JDT Core gerrit
Sent
by:        jdt-dev-bounces@xxxxxxxxxxx

---

On Mon, May 18, 2020 at 12:06 PM Jayaprakash
Arthanareeswaran <jarthana@xxxxxxxxxx>
wrote:
Hello,

As an experiment,
I am moving the jdt core gerrit [1] to open JDK 12 (as of now now it's
still using jdk 8). The details on why this is being tried
can be found on https://bugs.eclipse.org/bugs/show_bug.cgi?id=548999

Why Java 12? Releng uses Java 11 for
all builds now.
 

Depending on how
this goes, I will keep this change or revert it. If you have a reason why
this (newer JDK) should not be used, please let me know.

Regards,
Jay

[1] https://ci.eclipse.org/jdt/job/eclipse.jdt.core-Gerrit/


_______________________________________________
jdt-dev mailing list
jdt-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jdt-dev


-- 
Alexander Kurtakov
Red Hat Eclipse Team_______________________________________________
jdt-dev mailing list
jdt-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jdt-dev