It worked!  Thanks a lot!

So what do you think of adding

(native-search-paths (list (search-path-specification
                                (variable "JAVA_HOME")
                                (files '("jre")))))

to icedtea-* and openjdk-*?

-- 
Pierre Neidhardt
https://ambrevar.xyz/