#1023241 openjdk-17-jre-headless: openjdk binfmts not correctly removed/set

Package:
openjdk-17-jre-headless
Source:
openjdk-17
Description:
OpenJDK Java runtime, using Hotspot JIT (headless)
Submitter:
Christoph Anton Mitterer
Date:
2022-10-31 22:15:04 UTC
Severity:
normal
#1023241#5
Date:
2022-10-31 22:13:42 UTC
From:
To:
Hey.

IIRC, this has happened with (all)? previous openjdk versions, when
transitioning from one major version to another, and presumably
also when simply purging openjdk.

The entries for update-binfmts are not correctly removed respectively
upgraded.

I've just switched from 11 to 17, but still:
~# update-binfmts --display
jar (enabled):
     package = openjdk-11
        type = magic
      offset = 0
       magic = PK\x03\x04
        mask =
 interpreter = /usr/bin/jexec
    detector =

the registration is made for 11.

It probably doesn't matter so much (though it's a bit ugly), but I've
seen the maintainer scripts do contain some code which should properly
unregister/register, but that doesn't seem to work.


Any ideas? :-)

Thanks,
Chris.