Program: 58337
Project: 58337
Buggy source:
@Override public void display(final GL gl){
  if (bShowSelectionHeatMap) {
    gl.glTranslatef(viewFrustum.getRight() - glBookmarks.getViewFrustum().getWidth(),0,0.002f);
    IViewFrustum sHMFrustum=glBookmarks.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(glBookmarks.getViewFrustum().getWidth(),0,0);
    gl.glVertex3f(glBookmarks.getViewFrustum().getWidth(),glBookmarks.getViewFrustum().getHeight(),0);
    gl.glVertex3f(0,glBookmarks.getViewFrustum().getHeight(),0);
    gl.glEnd();
    int iPickingID=pickingManager.getPickingID(iUniqueID,EPickingType.PCS_VIEW_SELECTION,glBookmarks.getID());
    gl.glPushName(iPickingID);
    glBookmarks.displayRemote(gl);
    gl.glPopName();
    gl.glTranslatef(-viewFrustum.getRight() + glBookmarks.getViewFrustum().getWidth(),0,-0.002f);
  }
  if (generalManager.getTrackDataProvider().isTrackModeActive())   handleTrackInput(gl);
  clipToFrustum(gl);
  gl.glTranslatef(fXDefaultTranslation + fXTranslation,fYTranslation,0.0f);
  if (bIsDraggingActive) {
    handleGateDragging(gl);
  }
  if (bWasAxisMoved) {
    adjustAxisSpacing(gl);
    if (glMouseListener.wasMouseReleased()) {
      bWasAxisMoved=false;
    }
  }
  gl.glCallList(iGLDisplayListToCall);
  if (bIsAngularBrushingActive && iSelectedLineID != -1) {
    handleAngularBrushing(gl);
  }
  gl.glTranslatef(-fXDefaultTranslation - fXTranslation,-fYTranslation,0.0f);
  if (!isRenderedRemote())   contextMenu.render(gl,this);
}

Fixed version (ground truth):
@Override public void display(final GL gl){
  if (bShowSelectionHeatMap) {
    gl.glTranslatef(viewFrustum.getRight() - glBookmarks.getViewFrustum().getWidth(),0,0.002f);
    IViewFrustum sHMFrustum=glBookmarks.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(glBookmarks.getViewFrustum().getWidth(),0,0);
    gl.glVertex3f(glBookmarks.getViewFrustum().getWidth(),glBookmarks.getViewFrustum().getHeight(),0);
    gl.glVertex3f(0,glBookmarks.getViewFrustum().getHeight(),0);
    gl.glEnd();
    int iPickingID=pickingManager.getPickingID(iUniqueID,EPickingType.PCS_VIEW_SELECTION,glBookmarks.getID());
    gl.glPushName(iPickingID);
    glBookmarks.displayRemote(gl);
    gl.glPopName();
    gl.glTranslatef(-viewFrustum.getRight() + glBookmarks.getViewFrustum().getWidth(),0,-0.002f);
  }
  if (generalManager.getTrackDataProvider().isTrackModeActive())   handleTrackInput(gl);
  gl.glTranslatef(fXDefaultTranslation + fXTranslation,fYTranslation,0.0f);
  if (bIsDraggingActive) {
    handleGateDragging(gl);
  }
  if (bWasAxisMoved) {
    adjustAxisSpacing(gl);
    if (glMouseListener.wasMouseReleased()) {
      bWasAxisMoved=false;
    }
  }
  gl.glCallList(iGLDisplayListToCall);
  if (bIsAngularBrushingActive && iSelectedLineID != -1) {
    handleAngularBrushing(gl);
  }
  gl.glTranslatef(-fXDefaultTranslation - fXTranslation,-fYTranslation,0.0f);
  if (!isRenderedRemote())   contextMenu.render(gl,this);
}