[Upgrade from openjdk-11 to openjdk-17] update-binfmts: warning: current package is openjdk-17, but binary format already installed by openjdk-11

[fprietog]

Summary:
--------
There is a warning when upgrading from Ubuntu 22.10 (openjdk-11) to Ubuntu 23.04 (openjdk-17):

update-binfmts: warning: current package is openjdk-17, but binary format already installed by openjdk-11

It happens only if you have the package binfmt-support installed and you're upgrading the package openjdk-17-jre-headless from it's openjdk-11 counterpart.

There is the info shown by update-binfmts command:

# update-binfmts --display
jar (enabled):
     package = openjdk-11
        type = magic
      offset = 0
       magic = PK\x03\x04
        mask =
 interpreter = /usr/bin/jexec
    detector =

Workaround:
-----------
This workaround is not necessary because it still works for openjdk-17, but it avoid the warning every time openjdk is upgraded again:

- Remove the openjdk-11 entry using this command:
# update-binfmts --package openjdk-11 --remove jar /usr/bin/jexec

- Reinstall the package "openjdk-17-jre-headless". Now the update-binfmts command will shown the info updated to openjdk-17:

# update-binfmts --display
jar (enabled):
     package = openjdk-17
        type = magic
      offset = 0
       magic = PK\x03\x04
        mask =
 interpreter = /usr/bin/jexec
    detector =