Integrated: 8293499: Provide jmod --compress option

[Aleksey Shipilev]

On Thu, 8 Sep 2022 07:57:36 GMT, Aleksey Shipilev <shade at openjdk.org> wrote:

> I have been looking into `make clean-images images` performance, and realized jmod keeps compressing files with default compression level. Tuning that toward lighter compression levels improves build performance considerably, without a heavy loss in *.jmod sizes. 
> 
> This PR allows JMOD to select the compression level. Follow-ups would use this in the build system, see #10214.
> 
> The interesting asymmetry against `jlink` is: `jlink` provides `--compress` option that only takes `2` for "ZIP compression". (Separately, we could argue if it would be beneficial to extend `--compress` to `jlink` as well, so to select the compression level there too.)

This pull request has now been integrated.

Changeset: 43f7f47a
Author:    Aleksey Shipilev <shade at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/43f7f47ae0f36a8147f6197804db3b74a9dda295
Stats:     154 lines in 4 files changed: 147 ins; 0 del; 7 mod

8293499: Provide jmod --compress option

Reviewed-by: alanb, mchung, jpai, redestad

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

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