On Thu, 6 Jul 2023 15:11:50 GMT, Chris Plummer <[email protected]> wrote:
>> Boris Ulasevich has updated the pull request incrementally with one
>> additional commit since the last revision:
>>
>> whitespace error
>
> src/jdk.hotspot.agent/share/classes/sun/jvm/hotspot/code/CompressedReadStream.java
> line 106:
>
>> 104: @Override
>> 105: public void setPosition(int position) {
>> 106: this.position = position;
>
> Maybe a call to `super()` would be better.
ok. thanks!
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/12387#discussion_r1270550701
