RFR: 8293499: Provide jmod compression level option

Mon Sep 12 15:53:48 UTC 2022

On Mon, 12 Sep 2022 11:48:50 GMT, Claes Redestad <redestad 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.

Agreed. With this approach we can also revise `jlink --compress` to take the same arguments, keeping `[012]` for compatibility. We can also name this option `--compress` for `jmod`, rather than `--compression-level`, for consistency.

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

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