* 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. Thanks, Florian
