but... they're already treated as globally unique prefixes for the purposes of CLI args... so we could in theory read from either

[compile.checkstyle.jvm] options=...

or

[compile.checkstyle] jvm_options=...

unambiguously?