On Thu, 18 Sep 2025 16:51:47 GMT, Alan Bateman <[email protected]> wrote:
>> OK fair enough. I just noticed that the file was modified, ie. >> >> // -- This file was mechanically generated: Do not edit! -- // >> >> was removed, so. > > Yes, I think that has to be removed. Alan is right, I just copied in the generated files. This is the files as generated by my previous PR. See this comment https://github.com/openjdk/jdk/pull/27338#issuecomment-3302348906 for details on how they differ. (Apart from a bug fix it is whitespace and comments only). In addition to this, jcheck complained about the generated files containing tabs, so I also had to replace those with spaces. Please go ahead and modernize the code after this PR. :) (But how to do it "yesterday" eludes me ;-)) ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/27352#discussion_r2360419615
