Program: 58484
Project: 58484
Buggy source:
private void RenderMouseOver(GL gl){
  if (mouseoverSelectionManager.getNumberOfElements(SelectionType.MOUSE_OVER) == 0)   return;
  Set<Integer> mouseOver=mouseoverSelectionManager.getElements(SelectionType.MOUSE_OVER);
  int iContentIndex=0;
  for (  int i : mouseOver) {
    iContentIndex=i;
    break;
  }
  float XScale=renderStyle.getRenderWidth() - XYAXISDISTANCE * 2.0f;
  float YScale=renderStyle.getRenderHeight() - XYAXISDISTANCE * 2.0f;
  float xnormalized=set.get(SELECTED_X_AXIS).getFloat(EDataRepresentation.NORMALIZED,iContentIndex);
  float ynormalized=set.get(SELECTED_Y_AXIS).getFloat(EDataRepresentation.NORMALIZED,iContentIndex);
  float x=transformOnZoom(xnormalized) * XScale;
  float y=ynormalized * YScale;
  float[] fArMappingColor=colorMapper.getColor(Math.max(xnormalized,ynormalized));
  if (elementSelectionManager.checkStatus(SelectionType.SELECTION,iContentIndex))   fArMappingColor=GeneralRenderStyle.MOUSE_OVER_COLOR;
  float z=+1.5f;
  float fullPoint=POINTSIZE * 2f;
  gl.glColor3f(1.0f,1.0f,0.0f);
  float angle;
  float PI=(float)Math.PI;
  gl.glBegin(GL.GL_POLYGON);
  for (int i=0; i < 20; i++) {
    angle=(i * 2 * PI) / 10;
    gl.glVertex3f(x + (float)(Math.cos(angle) * fullPoint),y + (float)(Math.sin(angle) * fullPoint),z);
  }
  gl.glEnd();
  z=+2.0f;
  gl.glColor3f(0.0f,0.0f,0.0f);
  gl.glPointSize(POINTSIZE * 50.0f);
  gl.glBegin(GL.GL_POINTS);
  gl.glVertex3f(x,y,z);
  gl.glEnd();
  z=+2.5f;
  gl.glColor3f(fArMappingColor[0],fArMappingColor[1],fArMappingColor[2]);
  DrawPointPrimitive(gl,x,y,z,fArMappingColor,1.0f,iContentIndex,2.0f);
  DrawMouseOverLabel(gl,x,y,z,fArMappingColor,1.0f,iContentIndex);
}

Fixed version (ground truth):
private void RenderMouseOver(GL gl){
  if (mouseoverSelectionManager.getNumberOfElements(SelectionType.MOUSE_OVER) == 0)   return;
  Set<Integer> mouseOver=mouseoverSelectionManager.getElements(SelectionType.MOUSE_OVER);
  int iContentIndex=0;
  for (  int i : mouseOver) {
    iContentIndex=i;
    break;
  }
  float XScale=renderStyle.getRenderWidth() - XYAXISDISTANCE * 2.0f;
  float YScale=renderStyle.getRenderHeight() - XYAXISDISTANCE * 2.0f;
  float xnormalized=set.get(storageVA.get(SELECTED_X_AXIS)).getFloat(EDataRepresentation.NORMALIZED,iContentIndex);
  float ynormalized=set.get(storageVA.get(SELECTED_Y_AXIS)).getFloat(EDataRepresentation.NORMALIZED,iContentIndex);
  float x=transformOnZoom(xnormalized) * XScale;
  float y=ynormalized * YScale;
  float[] fArMappingColor=colorMapper.getColor(Math.max(xnormalized,ynormalized));
  if (elementSelectionManager.checkStatus(SelectionType.SELECTION,iContentIndex))   fArMappingColor=GeneralRenderStyle.MOUSE_OVER_COLOR;
  float z=+1.5f;
  float fullPoint=POINTSIZE * 2f;
  gl.glColor3f(1.0f,1.0f,0.0f);
  float angle;
  float PI=(float)Math.PI;
  gl.glBegin(GL.GL_POLYGON);
  for (int i=0; i < 20; i++) {
    angle=(i * 2 * PI) / 10;
    gl.glVertex3f(x + (float)(Math.cos(angle) * fullPoint),y + (float)(Math.sin(angle) * fullPoint),z);
  }
  gl.glEnd();
  z=+2.0f;
  gl.glColor3f(0.0f,0.0f,0.0f);
  gl.glPointSize(POINTSIZE * 50.0f);
  gl.glBegin(GL.GL_POINTS);
  gl.glVertex3f(x,y,z);
  gl.glEnd();
  z=+2.5f;
  gl.glColor3f(fArMappingColor[0],fArMappingColor[1],fArMappingColor[2]);
  DrawPointPrimitive(gl,x,y,z,fArMappingColor,1.0f,iContentIndex,2.0f);
  DrawMouseOverLabel(gl,x,y,z,fArMappingColor,1.0f,iContentIndex);
}