Is the square brackets in output of -XX:+PrintStubCode a typo?

[Ioi Lam]

> On Feb 19, 2019, at 11:59 AM, John Rose <john.r.rose at oracle.com> wrote:
> 
>> On Feb 19, 2019, at 4:21 AM, Leslie Zhai <zhaixiang at loongson.cn> wrote:
>> 
>> Filed https://bugs.openjdk.java.net/browse/JDK-8219367
> 
> It's not a typo, but rather a legitimate notation.
> Maybe ill-chosen for the application, but not a typo.
> I commented further, on the bug report.
> 

Perhaps a [.....) notation would be more obvious?


> — John