https://www.debian.org/doc/packaging-manuals/java-policy/x110.html - should the doc package be named ${BINARY_PACKAGE}-doc or ${SOURCE_PACKAGE}-java-doc or something else? - for libfoo-java, should the foo-java-doc or libfoo-java-doc package install docs to /usr/share/doc/libfoo-java or /usr/share/doc/libfoo-java-doc or something else? Could somebody elaborate on that in the java-policy?