Thomas Devoogdt 8ccee2be22 package/openjdk{, -bin}: fix wrong version reporting ...

Before:

$ java --version
openjdk 17 2024-07-16
OpenJDK Runtime Environment (build 17+17)
OpenJDK 64-Bit Server VM (build 17+17, mixed mode)

After:

$ java --version
openjdk 17.0.12 2024-07-16
OpenJDK Runtime Environment (build 17.0.12+7)
OpenJDK 64-Bit Server VM (build 17.0.12+7, mixed mode)

Signed-off-by: Thomas Devoogdt <thomas.devoogdt@barco.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>

2025-11-16 23:07:13 +01:00

..

17.0.9+9

…

21.0.1+12

…

Config.in

…

openjdk.hash

…

openjdk.mk

…