(#11) Extend jvmoption coverage.