RFR: 8205129: Remove java.lang.Compiler

Tue Mar 28 17:52:31 UTC 2023

On Tue, 28 Mar 2023 13:36:38 GMT, Alan Bateman <alanb at openjdk.org> wrote:

> I think you should be able to finalize the CSR JDK-8304458.

Thanks for the gentle nudge, Alan.

I was actually not aware that finalization could be initiated by the assignee! I've seen the CSR lead handle this workflow previously. I pressed the "Finalize" button.

> I think it would be good to remove "java.compiler" from the list of standard properties (table in System.getProperties) in the same release.

Yes, these seem closely related.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/13092#issuecomment-1487357673