Subject: [bug#63069] Alternative solution for both openjdk9 and openjdk10.

From: Tim Johann <[email-masked]>
Date: Sat, 29 Jul 2023 13:56:08 +0200

Hi Andreas, hi Bruno, hi Chris,

See my contribution for a fix for both openjdk9 and openjdk10 using separate .patch files.  I was able to compile openjdk11 afterward applying this change.

<https://issues.guix.gnu.org/64670>

Thanks

and cheers

Tim