Completed, updated, and improved JavaDocs of Java API