Program: 58858
Project: 58858
Buggy source:
@Override public synchronized void display(final GL gl){
  if (bShowSelectionHeatMap) {
    gl.glTranslatef(viewFrustum.getRight() - glSelectionHeatMap.getViewFrustum().getWidth(),0,0.002f);
    IViewFrustum sHMFrustum=glSelectionHeatMap.getViewFrustum();
    sHMFrustum.setTop(viewFrustum.getTop());
    sHMFrustum.setBottom(viewFrustum.getBottom());
    gl.glColor4fv(GeneralRenderStyle.PANEL_BACKGROUN_COLOR,0);
    gl.glLineWidth(1);
    gl.glBegin(GL.GL_POLYGON);
    gl.glVertex3f(0,0,0);
    gl.glVertex3f(glSelectionHeatMap.getViewFrustum().getWidth(),0,0);
    gl.glVertex3f(glSelectionHeatMap.getViewFrustum().getWidth(),glSelectionHeatMap.getViewFrustum().getHeight(),0);
    gl.glVertex3f(0,glSelectionHeatMap.getViewFrustum().getHeight(),0);
    gl.glEnd();
    int iPickingID=pickingManager.getPickingID(iUniqueID,EPickingType.PCS_VIEW_SELECTION,glSelectionHeatMap.getID());
    gl.glPushName(iPickingID);
    glSelectionHeatMap.displayRemote(gl);
    gl.glPopName();
    gl.glTranslatef(-viewFrustum.getRight() + glSelectionHeatMap.getViewFrustum().getWidth(),0,-0.002f);
  }
  clipToFrustum(gl);
  gl.glTranslatef(fXDefaultTranslation + fXTranslation,fYTranslation,0.0f);
  if (bIsDraggingActive) {
    handleGateDragging(gl);
  }
  if (bWasAxisMoved) {
    adjustAxisSpacing(gl);
    if (pickingTriggerMouseAdapter.wasMouseReleased()) {
      bWasAxisMoved=false;
    }
  }
  gl.glCallList(iGLDisplayListToCall);
  if (bIsAngularBrushingActive && iSelectedLineID != -1) {
    handleAngularBrushing(gl);
  }
  gl.glTranslatef(-fXDefaultTranslation - fXTranslation,-fYTranslation,0.0f);
  gl.glDisable(GL.GL_STENCIL_TEST);
  if (!isRenderedRemote())   contextMenu.render(gl,iUniqueID);
}

Fixed version (ground truth):
@Override public synchronized void display(final GL gl){
  if (bShowSelectionHeatMap) {
    gl.glTranslatef(viewFrustum.getRight() - glSelectionHeatMap.getViewFrustum().getWidth(),0,0.002f);
    IViewFrustum sHMFrustum=glSelectionHeatMap.getViewFrustum();
    sHMFrustum.setTop(viewFrustum.getTop());
    sHMFrustum.setBottom(viewFrustum.getBottom());
    gl.glColor4fv(GeneralRenderStyle.PANEL_BACKGROUN_COLOR,0);
    gl.glLineWidth(1);
    gl.glBegin(GL.GL_POLYGON);
    gl.glVertex3f(0,0,0);
    gl.glVertex3f(glSelectionHeatMap.getViewFrustum().getWidth(),0,0);
    gl.glVertex3f(glSelectionHeatMap.getViewFrustum().getWidth(),glSelectionHeatMap.getViewFrustum().getHeight(),0);
    gl.glVertex3f(0,glSelectionHeatMap.getViewFrustum().getHeight(),0);
    gl.glEnd();
    int iPickingID=pickingManager.getPickingID(iUniqueID,EPickingType.PCS_VIEW_SELECTION,glSelectionHeatMap.getID());
    gl.glPushName(iPickingID);
    glSelectionHeatMap.displayRemote(gl);
    gl.glPopName();
    gl.glTranslatef(-viewFrustum.getRight() + glSelectionHeatMap.getViewFrustum().getWidth(),0,-0.002f);
  }
  clipToFrustum(gl);
  gl.glTranslatef(fXDefaultTranslation + fXTranslation,fYTranslation,0.0f);
  if (bIsDraggingActive) {
    handleGateDragging(gl);
  }
  if (bWasAxisMoved) {
    adjustAxisSpacing(gl);
    if (pickingTriggerMouseAdapter.wasMouseReleased()) {
      bWasAxisMoved=false;
    }
  }
  gl.glCallList(iGLDisplayListToCall);
  if (bIsAngularBrushingActive && iSelectedLineID != -1) {
    handleAngularBrushing(gl);
  }
  gl.glTranslatef(-fXDefaultTranslation - fXTranslation,-fYTranslation,0.0f);
  if (!isRenderedRemote())   contextMenu.render(gl,iUniqueID);
}