build-doc-javadoc: print out a hint at the end