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