Program: 70760
Project: 70760
Buggy source:
public void restoreDefaultState(boolean strictChecking){
  if (myMappingsSet) {
    if (myColorMapProps != null) {
      setColorMap(null);
    }
    if (myNormalMapProps != null) {
      setNormalMap(null);
    }
    if (myBumpMapProps != null) {
      setBumpMap(null);
    }
    myMappingsSet=false;
  }
  if (myNonDefaultColorSettings != 0) {
    if (myBackColor != null) {
      setBackColor(null);
    }
    if ((myNonDefaultColorSettings & EMISSION_BIT) != 0) {
      setEmission(DEFAULT_MATERIAL_EMISSION);
    }
    if ((myNonDefaultColorSettings & SPECULAR_BIT) != 0) {
      setSpecular(DEFAULT_MATERIAL_SPECULAR);
    }
    if ((myNonDefaultColorSettings & SHININESS_BIT) != 0) {
      setShininess(DEFAULT_MATERIAL_SHININESS);
    }
    if (getColorInterpolation() != DEFAULT_COLOR_INTERPOLATION) {
      setColorInterpolation(DEFAULT_COLOR_INTERPOLATION);
    }
    if (myHighlightColorActive) {
      setHighlighting(false);
    }
    myNonDefaultColorSettings=0;
  }
  if (myNonDefaultGeneralSettings != 0) {
    if (myViewerState.faceMode != DEFAULT_FACE_STYLE) {
      setFaceStyle(DEFAULT_FACE_STYLE);
    }
    if ((myNonDefaultGeneralSettings & LINE_WIDTH_BIT) != 0) {
      setLineWidth(DEFAULT_LINE_WIDTH);
    }
    if ((myNonDefaultGeneralSettings & POINT_SIZE_BIT) != 0) {
      setPointSize(DEFAULT_POINT_SIZE);
    }
    if (myViewerState.shading != DEFAULT_SHADING) {
      setShading(DEFAULT_SHADING);
    }
    if (mySurfaceResolution != DEFAULT_SURFACE_RESOLUTION) {
      setSurfaceResolution(DEFAULT_SURFACE_RESOLUTION);
    }
    if (myViewerState.colorMixing != DEFAULT_COLOR_MIXING) {
      setVertexColorMixing(DEFAULT_COLOR_MIXING);
    }
    myNonDefaultGeneralSettings=0;
  }
  if (myModelMatrixSet) {
    if (!modelMatrix.isIdentity()) {
      resetModelMatrix();
    }
    myModelMatrixSet=false;
  }
  if (myDrawMode != null) {
    if (strictChecking) {
      throw new IllegalStateException("String_Node_Str" + myDrawMode);
    }
 else {
      resetDraw();
    }
  }
}

Fixed version (ground truth):
public void restoreDefaultState(boolean strictChecking){
  if (myMappingsSet) {
    if (myColorMapProps != null) {
      setColorMap(null);
    }
    if (myNormalMapProps != null) {
      setNormalMap(null);
    }
    if (myBumpMapProps != null) {
      setBumpMap(null);
    }
    myMappingsSet=false;
  }
  if (myNonDefaultColorSettings != 0) {
    if (myBackColor != null) {
      setBackColor(null);
    }
    if ((myNonDefaultColorSettings & EMISSION_BIT) != 0) {
      setEmission(DEFAULT_MATERIAL_EMISSION);
    }
    if ((myNonDefaultColorSettings & SPECULAR_BIT) != 0) {
      setSpecular(DEFAULT_MATERIAL_SPECULAR);
    }
    if ((myNonDefaultColorSettings & SHININESS_BIT) != 0) {
      setShininess(DEFAULT_MATERIAL_SHININESS);
    }
    if (getColorInterpolation() != DEFAULT_COLOR_INTERPOLATION) {
      setColorInterpolation(DEFAULT_COLOR_INTERPOLATION);
    }
    if (myHighlightColorActive) {
      setHighlighting(false);
    }
    myNonDefaultColorSettings=0;
  }
  if (myNonDefaultGeneralSettings != 0) {
    if (myViewerState.faceMode != DEFAULT_FACE_STYLE) {
      setFaceStyle(DEFAULT_FACE_STYLE);
    }
    if ((myNonDefaultGeneralSettings & LINE_WIDTH_BIT) != 0) {
      setLineWidth(DEFAULT_LINE_WIDTH);
    }
    if ((myNonDefaultGeneralSettings & POINT_SIZE_BIT) != 0) {
      setPointSize(DEFAULT_POINT_SIZE);
    }
    if (myViewerState.shading != DEFAULT_SHADING) {
      setShading(DEFAULT_SHADING);
    }
    if (mySurfaceResolution != DEFAULT_SURFACE_RESOLUTION) {
      setSurfaceResolution(DEFAULT_SURFACE_RESOLUTION);
    }
    if (myViewerState.colorMixing != DEFAULT_COLOR_MIXING) {
      setVertexColorMixing(DEFAULT_COLOR_MIXING);
    }
    myNonDefaultGeneralSettings=0;
  }
  if (myModelMatrixSet) {
    int mmsize=modelMatrixStack.size();
    if (rendering2d) {
      mmsize-=1;
    }
    if (mmsize > 0) {
      if (strictChecking) {
        throw new IllegalStateException("String_Node_Str" + mmsize);
      }
 else {
        while (mmsize > 0) {
          modelMatrixStack.pop();
          mmsize--;
        }
      }
    }
    if (rendering2d) {
synchronized (modelMatrix) {
        if (!modelMatrix.equals(myDefaultModelMatrix2d)) {
          modelMatrix.set(myDefaultModelMatrix2d);
          invalidateModelMatrix();
        }
      }
    }
 else {
synchronized (modelMatrix) {
        if (!modelMatrix.isIdentity()) {
          modelMatrix=new RigidTransform3d();
          modelNormalMatrix=new Matrix3d();
          invalidateModelMatrix();
        }
      }
    }
    myModelMatrixSet=false;
  }
  if (myDrawMode != null) {
    if (strictChecking) {
      throw new IllegalStateException("String_Node_Str" + myDrawMode);
    }
 else {
      resetDraw();
    }
  }
}