Small improvements on java-doc