RFR: 8314483: Optionally override copyright header in generated source [v2]

[Iris Clark]

On Thu, 24 Aug 2023 17:36:46 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

>> In the JDK build we have various build tools that generate source code from data files. For most of these tools, the source files are based on template files, which already have copyright headers, but for some, the complete source file is generated by the tool, which is providing the copyright header programatically. For the latter, we would like to implement an override mechanism in each tool so that we can change the copyright header from a custom makefile.
>
> Erik Joelsson has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Suggestion from dholmes

Marked as reviewed by iris (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/15346#pullrequestreview-1594143141