Why did we remove the (non-JavaDoc) comment here? The purpose of including it is to note that the method comes from elsewhere, but without overriding the JavaDoc comment. It may get generated again later.