fix formatting of Java API in doc comments + genjavadoc 0.3