Program: 85268
Project: 85268
Buggy source:
@Override public void check(List<Marker> markers,IContext context){
  if (this.superType != null) {
    IClass superClass=this.superType.getTheClass();
    if (superClass != null) {
      int modifiers=superClass.getModifiers();
      if ((modifiers & Modifiers.CLASS_TYPE_MODIFIERS) != 0) {
        markers.add(Markers.create(this.superType.getPosition(),"String_Node_Str",Modifiers.CLASS_TYPE.toString(modifiers),superClass.getName()));
      }
 else       if ((modifiers & Modifiers.FINAL) != 0) {
        markers.add(Markers.create(this.superType.getPosition(),"String_Node_Str",superClass.getName()));
      }
 else       if ((modifiers & Modifiers.DEPRECATED) != 0) {
        markers.add(Markers.create(this.superType.getPosition(),"String_Node_Str",superClass.getName()));
      }
    }
  }
  if ((this.modifiers & Modifiers.OBJECT_CLASS) != 0) {
    IMethod m=this.body.getMethod("String_Node_Str");
    if (m != null) {
      markers.add(Markers.create(m.getPosition(),"String_Node_Str",this.name));
    }
  }
  for (  IType t : this.interfaces) {
    IClass iclass=t.getTheClass();
    if (iclass != null) {
      int modifiers=iclass.getModifiers();
      if ((modifiers & Modifiers.CLASS_TYPE_MODIFIERS) != Modifiers.INTERFACE_CLASS) {
        markers.add(Markers.create(t.getPosition(),"String_Node_Str",Modifiers.CLASS_TYPE.toString(modifiers),iclass.getName()));
      }
 else       if ((modifiers & Modifiers.DEPRECATED) != 0) {
        markers.add(Markers.create(t.getPosition(),"String_Node_Str",iclass.getName()));
      }
    }
  }
  for (  Annotation a : this.annotations) {
    a.check(markers,context);
  }
  if (this.body != null) {
    this.body.check(markers,this);
  }
}

Fixed version (ground truth):
@Override public void check(List<Marker> markers,IContext context){
  if (this.superType != null) {
    IClass superClass=this.superType.getTheClass();
    if (superClass != null) {
      int modifiers=superClass.getModifiers();
      if ((modifiers & Modifiers.CLASS_TYPE_MODIFIERS) != 0) {
        markers.add(Markers.create(this.superType.getPosition(),"String_Node_Str",Modifiers.CLASS_TYPE.toString(modifiers),superClass.getName()));
      }
 else       if ((modifiers & Modifiers.FINAL) != 0) {
        markers.add(Markers.create(this.superType.getPosition(),"String_Node_Str",superClass.getName()));
      }
 else       if ((modifiers & Modifiers.DEPRECATED) != 0) {
        markers.add(Markers.create(this.superType.getPosition(),"String_Node_Str",superClass.getName()));
      }
    }
  }
  if ((this.modifiers & Modifiers.OBJECT_CLASS) != 0) {
    IMethod m=this.body.getMethod("String_Node_Str");
    if (m != null) {
      markers.add(Markers.create(m.getPosition(),"String_Node_Str",this.name));
    }
  }
  for (  IType t : this.interfaces) {
    IClass iclass=t.getTheClass();
    if (iclass != null) {
      int modifiers=iclass.getModifiers();
      if ((modifiers & Modifiers.CLASS_TYPE_MODIFIERS) != Modifiers.INTERFACE_CLASS) {
        markers.add(Markers.create(t.getPosition(),"String_Node_Str",Modifiers.CLASS_TYPE.toString(modifiers),iclass.getName()));
      }
 else       if ((modifiers & Modifiers.DEPRECATED) != 0) {
        markers.add(Markers.create(t.getPosition(),"String_Node_Str",iclass.getName()));
      }
    }
  }
  if (this.annotations != null) {
    for (    Annotation a : this.annotations) {
      a.check(markers,context);
    }
  }
  if (this.body != null) {
    this.body.check(markers,this);
  }
}