To: "Eclipse JDT general developers list." <jdt-dev@xxxxxxxxxxx
From: Aleksandar Kurtakov
Sent by: jdt-dev-bounces@xxxxxxxxxxx
Date: 05/18/2020 03:17PM
Subject: [EXTERNAL] Re: [jdt-dev] Changes to JDT Core gerrit
As an experiment, I am moving the jdt core gerrit  to open JDK 12 (as of now now it's still using jdk 8). The details on why this is being tried
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.
jdt-dev mailing list
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jdt-dev
Red Hat Eclipse Team