Package: openjdk-14-jre-headless Version: 14.0.2+12-1
In this file: https://git.launchpad.net/~openjdk/ubuntu/+source/openjdk/+git/openjdk/tree/debian/JB-jre-headless.postinst.in?h=openjdk-14 This code seems to still exist. It complicates installation in a chroot, such as for CustomPiOS. Do we still need it? It says things will change in JDK7, but we've come a long way since then. # fail early. java currently uses tricks to find its own shared # libraries depending on the path of the binary. Will be changed # in OpenJDK7 if ! mountpoint -q /proc; then echo >&2 "the java command requires a mounted proc fs (/proc)." exit 1 fi