On Thu, 17 Apr 2025 16:42:54 GMT, Brian Burkhalter <b...@openjdk.org> wrote:
>> src/java.base/share/classes/java/io/BufferedReader.java line 459:
>>
>>> 457: * @since 25
>>> 458: */
>>> 459: public String readString() throws IOException {
>>
>> Suggestion:
>>
>> public String readString() throws IOException {
>
> Thanks. Will be fixed in next commit.
Fixed in b5d8266.
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/24728#discussion_r2049474699
