@Override
 public void addMethodParameterAnnotation(
     String name,
     String name2,
     String sig,
     boolean isStatic,
     int param,
     NullnessAnnotation annotation) {
   super.addMethodParameterAnnotation(name, name2, sig, isStatic, param, annotation);
 }
 @Override
 public void addDefaultAnnotation(
     AnnotationDatabase.Target target, String c, NullnessAnnotation n) {
   super.addDefaultAnnotation(target, c, n);
 }
 @Override
 public void addFieldAnnotation(
     String name, String name2, String sig, boolean isStatic, NullnessAnnotation annotation) {
   super.addFieldAnnotation(name, name2, sig, isStatic, annotation);
 }
 @Override
 public void addDefaultMethodAnnotation(String name, NullnessAnnotation annotation) {
   super.addDefaultMethodAnnotation(name, annotation);
 }