By the way, should JAVA_HOME be a native-search-path set by the JDKs?

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