On Tue, 28 Mar 2023 13:36:38 GMT, Alan Bateman <al...@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