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

[John Rose]

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.

— John