Fix Java docs.