Le 10/12/2013 20:47, Niels Thykier a écrit : > What java is used in this case? I know the user has default-jre > installed, but honestly I wouldn't be surprised if it turned out that > the JVM was an non-free oracle without a patch to include the Debian > specific JNI path. What is changed by this patch? Is it a properties file? I wonder if java-package could tweak the Oracle JDK on the fly. Emmanuel Bourg