* Gil Tene:
> root@020dc36b9046:/# java -version
> openjdk version "1.8.0_212"
> OpenJDK Runtime Environment (build 1.8.0_212-8u212-b01-1~deb9u1-b01)
> OpenJDK 64-Bit Server VM (build 25.212-b01, mixed mode)
> root@020dc36b9046:/#
I wonder if the core technical issue is this: Debian stretch currently
packages OpenJDK 8 8u212-b01, when it should be packaging 8u212-b03 or
8u212-b04 (which one isn't clear, the release announcement
<https://mail.openjdk.java.net/pipermail/jdk8u-dev/2019-April/009115.html>
was for 8u212-b03, not for 8u212-b04 or 8u212-ga).
My understanding is that 8u212-b01 is a version identifier created by
the jdk8u project, and based on a quick check, it matches what Debian
identifies as its upstream sources (except for some stripping of system
library components). But it's not the most current release.
It's one of the challenges, the rest of the world doesn't necessarily know about the new `-ga` tag that we use to designate releases, so we need to go and help them.
I've also replied separately to this thread (with a meeting request) but cut out the OpenJDK mailing lists as it's really the Debian distro list that we should be discussing this on.
If folks feel otherwise, let me know and I'll CC these lists back in.
Cheers,
Martijn
Thanks,
Florian