Formatting and fixing of JavaDoc comments