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