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 -- To UNSUBSCRIBE, email to debian-java-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/52a8601c.6010...@apache.org
