Thanks for solving this.

Maybe I am nitpicking here, but it would be more correct, I suppose, to
just depend on java-runtime rather than on default-jre OR java-runtime.

Reply via email to