As discussed inĀ https://github.com/openjdk/jmc/pull/378.
Commit openjdk/jmc/ab2f75d2
Review openjdk/jmc/378