On Thu, 15 Dec 2022 06:45:22 GMT, Jaikiran Pai <j...@openjdk.org> wrote:
>> Ian Graves has updated the pull request incrementally with one additional >> commit since the last revision: >> >> Swapping deprecations in properties > > src/jdk.jlink/share/classes/jdk/tools/jlink/internal/plugins/ZipPlugin.java > line 49: > >> 47: >> 48: private static final int DEFAULT_COMPRESSION = 6; >> 49: private int compressionLevel; > > Perhaps we could mark this as `final`? Agreed ------------- PR: https://git.openjdk.org/jdk/pull/11617
