Mystery meat OpenJDK builds strike again

[Florian Weimer]

* Gil Tene:

> root at 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 at 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