RFR: 8293499: Provide jmod compression level option

Mon Sep 12 11:52:43 UTC 2022

On Mon, 12 Sep 2022 11:20:14 GMT, Aleksey Shipilev <shade at openjdk.org> wrote:

> Meaning, we allow `--compress=zip-[0..9]` and default to `zip-6`. This has the added benefit of clearly stating that `zip-0` is still ZIP, but without the compression applied. This is a bit ambiguous with `--compression-level=0`.

I like this scheme. It's a good thing there's prior art, too.

-------------

PR: https://git.openjdk.org/jdk/pull/10213