Fix sul java-doc.