update JavaDoc