fix JavaDoc gen