Manual pages:
update-java-alternatives(8) |
Other documents:
/usr/share/doc/java-common |
Other packages built from the same source:
default-jdk-doc | default-jdk-headless | default-jre | default-jre-headless |
default-jdk |
Generated by dwww version 1.15 on Sat Jun 29 01:53:35 CEST 2024.