Program: 58050
Project: 58050
Buggy source:
@Override public void render(GL2 gl){
  float glHandleHeight=pixelGLConverter.getGLHeightForPixelHeight(handleSize);
  float glHandleWidth=pixelGLConverter.getGLWidthForPixelWidth(handleSize);
  gl.glLineWidth(3);
  gl.glColor3f(0,0,0);
  gl.glPushName(brick.getPickingManager().getPickingID(brick.getID(),EPickingType.RESIZE_HANDLE_LOWER_LEFT,1));
  gl.glBegin(GL2.GL_LINES);
  gl.glVertex3f(0,0,0);
  gl.glVertex3f(glHandleWidth,0,0);
  gl.glVertex3f(0,0,0);
  gl.glVertex3f(0,glHandleHeight,0);
  gl.glEnd();
  gl.glPopName();
  gl.glPushName(brick.getPickingManager().getPickingID(brick.getID(),EPickingType.RESIZE_HANDLE_LOWER_RIGHT,1));
  gl.glBegin(GL2.GL_LINES);
  gl.glVertex3f(x,0,0);
  gl.glVertex3f(x - glHandleWidth,0,0);
  gl.glVertex3f(x,0,0);
  gl.glVertex3f(x,glHandleHeight,0);
  gl.glEnd();
  gl.glPopName();
  gl.glPushName(brick.getPickingManager().getPickingID(brick.getID(),EPickingType.RESIZE_HANDLE_UPPER_RIGHT,1));
  gl.glBegin(GL2.GL_LINES);
  gl.glVertex3f(x,y,0);
  gl.glVertex3f(x - glHandleWidth,y,0);
  gl.glVertex3f(x,y,0);
  gl.glVertex3f(x,y - glHandleHeight,0);
  gl.glEnd();
  gl.glPopName();
  gl.glPushName(brick.getPickingManager().getPickingID(brick.getID(),EPickingType.RESIZE_HANDLE_UPPER_LEFT,1));
  gl.glBegin(GL2.GL_LINES);
  gl.glVertex3f(0,y,0);
  gl.glVertex3f(glHandleWidth,y,0);
  gl.glVertex3f(0,y,0);
  gl.glVertex3f(0,y - glHandleHeight,0);
  gl.glEnd();
  gl.glPopName();
  gl.glPushName(brick.getPickingManager().getPickingID(brick.getDimensionGroup().getID(),EPickingType.DRAGGING_HANDLE,0));
  gl.glBegin(GL2.GL_QUADS);
  gl.glVertex3f(-glHandleWidth * 2.0f,y / 2.0f - glHandleHeight,0);
  gl.glVertex3f(-glHandleWidth * 2.0f,y / 2.0f + glHandleHeight,0);
  gl.glVertex3f(0,y / 2.0f + glHandleHeight,0);
  gl.glVertex3f(0,y / 2.0f - glHandleHeight,0);
  gl.glEnd();
  gl.glPopName();
}

Fixed version (ground truth):
@Override public void render(GL2 gl){
  float glHandleHeight=pixelGLConverter.getGLHeightForPixelHeight(handleSize);
  float glHandleWidth=pixelGLConverter.getGLWidthForPixelWidth(handleSize);
  gl.glLineWidth(3);
  gl.glColor3f(0,0,0);
  gl.glPushName(brick.getPickingManager().getPickingID(brick.getID(),EPickingType.RESIZE_HANDLE_LOWER_LEFT,1));
  gl.glBegin(GL2.GL_LINES);
  gl.glVertex3f(0,0,0);
  gl.glVertex3f(glHandleWidth,0,0);
  gl.glVertex3f(0,0,0);
  gl.glVertex3f(0,glHandleHeight,0);
  gl.glEnd();
  gl.glPopName();
  gl.glPushName(brick.getPickingManager().getPickingID(brick.getID(),EPickingType.RESIZE_HANDLE_LOWER_RIGHT,1));
  gl.glBegin(GL2.GL_LINES);
  gl.glVertex3f(x,0,0);
  gl.glVertex3f(x - glHandleWidth,0,0);
  gl.glVertex3f(x,0,0);
  gl.glVertex3f(x,glHandleHeight,0);
  gl.glEnd();
  gl.glPopName();
  gl.glPushName(brick.getPickingManager().getPickingID(brick.getID(),EPickingType.RESIZE_HANDLE_UPPER_RIGHT,1));
  gl.glBegin(GL2.GL_LINES);
  gl.glVertex3f(x,y,0);
  gl.glVertex3f(x - glHandleWidth,y,0);
  gl.glVertex3f(x,y,0);
  gl.glVertex3f(x,y - glHandleHeight,0);
  gl.glEnd();
  gl.glPopName();
  gl.glPushName(brick.getPickingManager().getPickingID(brick.getID(),EPickingType.RESIZE_HANDLE_UPPER_LEFT,1));
  gl.glBegin(GL2.GL_LINES);
  gl.glVertex3f(0,y,0);
  gl.glVertex3f(glHandleWidth,y,0);
  gl.glVertex3f(0,y,0);
  gl.glVertex3f(0,y - glHandleHeight,0);
  gl.glEnd();
  gl.glPopName();
  gl.glPushName(brick.getPickingManager().getPickingID(brick.getDimensionGroup().getID(),EPickingType.DRAGGING_HANDLE,0));
  gl.glBegin(GL2.GL_QUADS);
  gl.glVertex3f(-glHandleWidth * 2.0f,y / 2.0f - glHandleHeight,1);
  gl.glVertex3f(-glHandleWidth * 2.0f,y / 2.0f + glHandleHeight,1);
  gl.glVertex3f(0,y / 2.0f + glHandleHeight,1);
  gl.glVertex3f(0,y / 2.0f - glHandleHeight,1);
  gl.glEnd();
  gl.glPopName();
}