private static void deleteMemberWithDocComment(GrDocCommentOwner docCommentOwner) {
   GrDocComment oldDoc = docCommentOwner.getDocComment();
   if (oldDoc != null) {
     oldDoc.delete();
   }
   docCommentOwner.delete();
 }