On Fri, 8 Aug 2025 15:32:32 GMT, Francesco Andreuzzi <[email protected]> wrote:
>> src/utils/PrecompiledHeaders/PrecompiledHeaders.java line 85:
>>
>>> 83: try {
>>> 84: // The first line contains the object name
>>> 85: return Files.lines(file).skip(1);
>>
>> Or maybe `return Files.lines(file).skip(1).distinct()`?
>
> `distinct()` has some overhead, do we need it? Do we expect duplicate headers
> in a file?
It's not like stream is the most performant method to do anything anyway. I
think the clarification is worth the additional overhead, especially when this
file is not run very frequently.
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/26681#discussion_r2263469891
