Program: 59121
Project: 59121
Buggy source:
private void renderNavigationOverlay(final GL gl,final int iViewID){
  if (!bEnableNavigationOverlay)   return;
  generalManager.getSingelton().getViewGLCanvasManager().getInfoAreaManager().enable(false);
  glConnectionLineRenderer.enableRendering(false);
  EPickingType leftWallPickingType=null;
  EPickingType rightWallPickingType=null;
  EPickingType topWallPickingType=null;
  EPickingType bottomWallPickingType=null;
  Vec4f tmpColor_out=new Vec4f(0.9f,0.9f,0.9f,0.9f);
  Vec4f tmpColor_in=new Vec4f(0.9f,0.9f,0.9f,0.9f);
  Vec4f tmpColor_left=new Vec4f(0.9f,0.9f,0.9f,0.9f);
  Vec4f tmpColor_right=new Vec4f(0.9f,0.9f,0.9f,0.9f);
  Vec4f tmpColor_lock=new Vec4f(0.9f,0.9f,0.9f,0.9f);
  Texture textureLock=glIconTextureManager.getIconTexture(EIconTextures.LOCK);
  Texture textureMoveLeft=null;
  Texture textureMoveRight=null;
  Texture textureMoveOut=null;
  Texture textureMoveIn=null;
  TextureCoords texCoords=textureLock.getImageTexCoords();
  if (iNavigationMouseOverViewID_lock == iViewID)   tmpColor_lock.set(1,0.3f,0.3f,0.9f);
  if (stackLayer.getPositionIndexByElementId(iViewID) == 0) {
    topWallPickingType=EPickingType.BUCKET_MOVE_OUT_ICON_SELECTION;
    bottomWallPickingType=EPickingType.BUCKET_MOVE_IN_ICON_SELECTION;
    leftWallPickingType=EPickingType.BUCKET_MOVE_LEFT_ICON_SELECTION;
    rightWallPickingType=EPickingType.BUCKET_MOVE_RIGHT_ICON_SELECTION;
    if (iNavigationMouseOverViewID_out == iViewID)     tmpColor_out.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_in == iViewID)     tmpColor_in.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_left == iViewID)     tmpColor_left.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_right == iViewID)     tmpColor_right.set(1,0.3f,0.3f,0.9f);
    textureMoveIn=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
    textureMoveOut=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveLeft=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveRight=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
  }
 else   if (stackLayer.getPositionIndexByElementId(iViewID) == 2) {
    topWallPickingType=EPickingType.BUCKET_MOVE_IN_ICON_SELECTION;
    bottomWallPickingType=EPickingType.BUCKET_MOVE_OUT_ICON_SELECTION;
    leftWallPickingType=EPickingType.BUCKET_MOVE_RIGHT_ICON_SELECTION;
    rightWallPickingType=EPickingType.BUCKET_MOVE_LEFT_ICON_SELECTION;
    if (iNavigationMouseOverViewID_out == iViewID)     tmpColor_in.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_in == iViewID)     tmpColor_out.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_left == iViewID)     tmpColor_right.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_right == iViewID)     tmpColor_left.set(1,0.3f,0.3f,0.9f);
    textureMoveIn=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
    textureMoveOut=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveLeft=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveRight=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
  }
 else   if (stackLayer.getPositionIndexByElementId(iViewID) == 1) {
    topWallPickingType=EPickingType.BUCKET_MOVE_RIGHT_ICON_SELECTION;
    bottomWallPickingType=EPickingType.BUCKET_MOVE_LEFT_ICON_SELECTION;
    leftWallPickingType=EPickingType.BUCKET_MOVE_OUT_ICON_SELECTION;
    rightWallPickingType=EPickingType.BUCKET_MOVE_IN_ICON_SELECTION;
    if (iNavigationMouseOverViewID_out == iViewID)     tmpColor_left.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_in == iViewID)     tmpColor_right.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_left == iViewID)     tmpColor_in.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_right == iViewID)     tmpColor_out.set(1,0.3f,0.3f,0.9f);
    textureMoveIn=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
    textureMoveOut=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveLeft=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveRight=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
  }
 else   if (stackLayer.getPositionIndexByElementId(iViewID) == 3) {
    topWallPickingType=EPickingType.BUCKET_MOVE_LEFT_ICON_SELECTION;
    bottomWallPickingType=EPickingType.BUCKET_MOVE_RIGHT_ICON_SELECTION;
    leftWallPickingType=EPickingType.BUCKET_MOVE_IN_ICON_SELECTION;
    rightWallPickingType=EPickingType.BUCKET_MOVE_OUT_ICON_SELECTION;
    if (iNavigationMouseOverViewID_out == iViewID)     tmpColor_right.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_in == iViewID)     tmpColor_left.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_left == iViewID)     tmpColor_out.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_right == iViewID)     tmpColor_in.set(1,0.3f,0.3f,0.9f);
    textureMoveIn=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
    textureMoveOut=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveLeft=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveRight=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
  }
  gl.glLineWidth(4);
  gl.glPushName(pickingManager.getPickingID(iUniqueId,EPickingType.BUCKET_LOCK_ICON_SELECTION,iViewID));
  gl.glColor4f(0.5f,0.5f,0.5f,1);
  gl.glBegin(GL.GL_LINE_LOOP);
  gl.glVertex3f(2.66f,2.66f,0.02f);
  gl.glVertex3f(2.66f,5.33f,0.02f);
  gl.glVertex3f(5.33f,5.33f,0.02f);
  gl.glVertex3f(5.33f,2.66f,0.02f);
  gl.glEnd();
  textureLock.enable();
  textureLock.bind();
  gl.glColor4f(tmpColor_lock.x(),tmpColor_lock.y(),tmpColor_lock.z(),tmpColor_lock.w());
  gl.glBegin(GL.GL_POLYGON);
  gl.glTexCoord2f(texCoords.left(),texCoords.bottom());
  gl.glVertex3f(2.66f,2.66f,0.03f);
  gl.glTexCoord2f(texCoords.left(),texCoords.top());
  gl.glVertex3f(2.66f,5.33f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.top());
  gl.glVertex3f(5.33f,5.33f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.bottom());
  gl.glVertex3f(5.33f,2.66f,0.03f);
  gl.glEnd();
  textureLock.disable();
  gl.glPopName();
  gl.glPushName(pickingManager.getPickingID(iUniqueId,bottomWallPickingType,iViewID));
  gl.glColor4f(0.5f,0.5f,0.5f,1);
  gl.glBegin(GL.GL_LINE_LOOP);
  gl.glVertex3f(0,0,0.02f);
  gl.glVertex3f(2.66f,2.66f,0.02f);
  gl.glVertex3f(5.33f,2.66f,0.02f);
  gl.glVertex3f(8,0,0.02f);
  gl.glEnd();
  gl.glColor4f(tmpColor_in.x(),tmpColor_in.y(),tmpColor_in.z(),tmpColor_in.w());
  gl.glBegin(GL.GL_POLYGON);
  gl.glVertex3f(0.05f,0.05f,0.02f);
  gl.glVertex3f(2.66f,2.66f,0.02f);
  gl.glVertex3f(5.33f,2.66f,0.02f);
  gl.glVertex3f(7.95f,0.02f,0.02f);
  gl.glEnd();
  textureMoveIn.enable();
  textureMoveIn.bind();
  gl.glBegin(GL.GL_POLYGON);
  gl.glTexCoord2f(texCoords.left(),texCoords.bottom());
  gl.glVertex3f(2.66f,0.05f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.bottom());
  gl.glVertex3f(2.66f,2.66f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.top());
  gl.glVertex3f(5.33f,2.66f,0.03f);
  gl.glTexCoord2f(texCoords.left(),texCoords.top());
  gl.glVertex3f(5.33f,0.05f,0.03f);
  gl.glEnd();
  textureMoveIn.disable();
  gl.glPopName();
  gl.glPushName(pickingManager.getPickingID(iUniqueId,rightWallPickingType,iViewID));
  gl.glColor4f(0.5f,0.5f,0.5f,1);
  gl.glBegin(GL.GL_LINE_LOOP);
  gl.glVertex3f(8,0,0.02f);
  gl.glVertex3f(5.33f,2.66f,0.02f);
  gl.glVertex3f(5.33f,5.33f,0.02f);
  gl.glVertex3f(8,8,0.02f);
  gl.glEnd();
  gl.glColor4f(tmpColor_right.x(),tmpColor_right.y(),tmpColor_right.z(),tmpColor_right.w());
  gl.glBegin(GL.GL_POLYGON);
  gl.glVertex3f(7.95f,0.05f,0.02f);
  gl.glVertex3f(5.33f,2.66f,0.02f);
  gl.glVertex3f(5.33f,5.33f,0.02f);
  gl.glVertex3f(7.95f,7.95f,0.02f);
  gl.glEnd();
  textureMoveRight.enable();
  textureMoveRight.bind();
  gl.glBegin(GL.GL_POLYGON);
  gl.glTexCoord2f(texCoords.left(),texCoords.bottom());
  gl.glVertex3f(7.95f,2.66f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.bottom());
  gl.glVertex3f(5.33f,2.66f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.top());
  gl.glVertex3f(5.33f,5.33f,0.03f);
  gl.glTexCoord2f(texCoords.left(),texCoords.top());
  gl.glVertex3f(7.95f,5.33f,0.03f);
  gl.glEnd();
  textureMoveRight.disable();
  gl.glPopName();
  gl.glPushName(pickingManager.getPickingID(iUniqueId,leftWallPickingType,iViewID));
  gl.glColor4f(0.5f,0.5f,0.5f,1);
  gl.glBegin(GL.GL_LINE_LOOP);
  gl.glVertex3f(0,0,0.02f);
  gl.glVertex3f(0,8,0.02f);
  gl.glVertex3f(2.66f,5.33f,0.02f);
  gl.glVertex3f(2.66f,2.66f,0.02f);
  gl.glEnd();
  gl.glColor4f(tmpColor_left.x(),tmpColor_left.y(),tmpColor_left.z(),tmpColor_left.w());
  gl.glBegin(GL.GL_POLYGON);
  gl.glVertex3f(0.05f,0.05f,0.02f);
  gl.glVertex3f(0.05f,7.95f,0.02f);
  gl.glVertex3f(2.66f,5.33f,0.02f);
  gl.glVertex3f(2.66f,2.66f,0.02f);
  gl.glEnd();
  textureMoveLeft.enable();
  textureMoveLeft.bind();
  gl.glBegin(GL.GL_POLYGON);
  gl.glTexCoord2f(texCoords.left(),texCoords.bottom());
  gl.glVertex3f(0.05f,2.66f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.bottom());
  gl.glVertex3f(0.05f,5.33f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.top());
  gl.glVertex3f(2.66f,5.33f,0.03f);
  gl.glTexCoord2f(texCoords.left(),texCoords.top());
  gl.glVertex3f(2.66f,2.66f,0.03f);
  gl.glEnd();
  textureMoveLeft.disable();
  gl.glPopName();
  gl.glPushName(pickingManager.getPickingID(iUniqueId,topWallPickingType,iViewID));
  gl.glColor4f(0.5f,0.5f,0.5f,1);
  gl.glBegin(GL.GL_LINE_LOOP);
  gl.glVertex3f(0,8,0.02f);
  gl.glVertex3f(8,8,0.02f);
  gl.glVertex3f(5.33f,5.33f,0.02f);
  gl.glVertex3f(2.66f,5.33f,0.02f);
  gl.glEnd();
  gl.glColor4f(tmpColor_out.x(),tmpColor_out.y(),tmpColor_out.z(),tmpColor_out.w());
  gl.glBegin(GL.GL_POLYGON);
  gl.glVertex3f(0.05f,7.95f,0.02f);
  gl.glVertex3f(7.95f,7.95f,0.02f);
  gl.glVertex3f(5.33f,5.33f,0.02f);
  gl.glVertex3f(2.66f,5.33f,0.02f);
  gl.glEnd();
  textureMoveOut.enable();
  textureMoveOut.bind();
  gl.glBegin(GL.GL_POLYGON);
  gl.glTexCoord2f(texCoords.left(),texCoords.bottom());
  gl.glVertex3f(2.66f,7.95f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.bottom());
  gl.glVertex3f(5.33f,7.95f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.top());
  gl.glVertex3f(5.33f,5.33f,0.03f);
  gl.glTexCoord2f(texCoords.left(),texCoords.top());
  gl.glVertex3f(2.66f,5.33f,0.03f);
  gl.glEnd();
  textureMoveOut.disable();
  gl.glPopName();
}

Fixed version (ground truth):
private void renderNavigationOverlay(final GL gl,final int iViewID){
  if (!bEnableNavigationOverlay)   return;
  glConnectionLineRenderer.enableRendering(false);
  EPickingType leftWallPickingType=null;
  EPickingType rightWallPickingType=null;
  EPickingType topWallPickingType=null;
  EPickingType bottomWallPickingType=null;
  Vec4f tmpColor_out=new Vec4f(0.9f,0.9f,0.9f,0.9f);
  Vec4f tmpColor_in=new Vec4f(0.9f,0.9f,0.9f,0.9f);
  Vec4f tmpColor_left=new Vec4f(0.9f,0.9f,0.9f,0.9f);
  Vec4f tmpColor_right=new Vec4f(0.9f,0.9f,0.9f,0.9f);
  Vec4f tmpColor_lock=new Vec4f(0.9f,0.9f,0.9f,0.9f);
  Texture textureLock=glIconTextureManager.getIconTexture(EIconTextures.LOCK);
  Texture textureMoveLeft=null;
  Texture textureMoveRight=null;
  Texture textureMoveOut=null;
  Texture textureMoveIn=null;
  TextureCoords texCoords=textureLock.getImageTexCoords();
  if (iNavigationMouseOverViewID_lock == iViewID)   tmpColor_lock.set(1,0.3f,0.3f,0.9f);
  if (stackLayer.getPositionIndexByElementId(iViewID) == 0) {
    topWallPickingType=EPickingType.BUCKET_MOVE_OUT_ICON_SELECTION;
    bottomWallPickingType=EPickingType.BUCKET_MOVE_IN_ICON_SELECTION;
    leftWallPickingType=EPickingType.BUCKET_MOVE_LEFT_ICON_SELECTION;
    rightWallPickingType=EPickingType.BUCKET_MOVE_RIGHT_ICON_SELECTION;
    if (iNavigationMouseOverViewID_out == iViewID)     tmpColor_out.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_in == iViewID)     tmpColor_in.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_left == iViewID)     tmpColor_left.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_right == iViewID)     tmpColor_right.set(1,0.3f,0.3f,0.9f);
    textureMoveIn=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
    textureMoveOut=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveLeft=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveRight=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
  }
 else   if (stackLayer.getPositionIndexByElementId(iViewID) == 2) {
    topWallPickingType=EPickingType.BUCKET_MOVE_IN_ICON_SELECTION;
    bottomWallPickingType=EPickingType.BUCKET_MOVE_OUT_ICON_SELECTION;
    leftWallPickingType=EPickingType.BUCKET_MOVE_RIGHT_ICON_SELECTION;
    rightWallPickingType=EPickingType.BUCKET_MOVE_LEFT_ICON_SELECTION;
    if (iNavigationMouseOverViewID_out == iViewID)     tmpColor_in.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_in == iViewID)     tmpColor_out.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_left == iViewID)     tmpColor_right.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_right == iViewID)     tmpColor_left.set(1,0.3f,0.3f,0.9f);
    textureMoveIn=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
    textureMoveOut=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveLeft=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveRight=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
  }
 else   if (stackLayer.getPositionIndexByElementId(iViewID) == 1) {
    topWallPickingType=EPickingType.BUCKET_MOVE_RIGHT_ICON_SELECTION;
    bottomWallPickingType=EPickingType.BUCKET_MOVE_LEFT_ICON_SELECTION;
    leftWallPickingType=EPickingType.BUCKET_MOVE_OUT_ICON_SELECTION;
    rightWallPickingType=EPickingType.BUCKET_MOVE_IN_ICON_SELECTION;
    if (iNavigationMouseOverViewID_out == iViewID)     tmpColor_left.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_in == iViewID)     tmpColor_right.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_left == iViewID)     tmpColor_in.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_right == iViewID)     tmpColor_out.set(1,0.3f,0.3f,0.9f);
    textureMoveIn=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
    textureMoveOut=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveLeft=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveRight=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
  }
 else   if (stackLayer.getPositionIndexByElementId(iViewID) == 3) {
    topWallPickingType=EPickingType.BUCKET_MOVE_LEFT_ICON_SELECTION;
    bottomWallPickingType=EPickingType.BUCKET_MOVE_RIGHT_ICON_SELECTION;
    leftWallPickingType=EPickingType.BUCKET_MOVE_IN_ICON_SELECTION;
    rightWallPickingType=EPickingType.BUCKET_MOVE_OUT_ICON_SELECTION;
    if (iNavigationMouseOverViewID_out == iViewID)     tmpColor_right.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_in == iViewID)     tmpColor_left.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_left == iViewID)     tmpColor_out.set(1,0.3f,0.3f,0.9f);
 else     if (iNavigationMouseOverViewID_right == iViewID)     tmpColor_in.set(1,0.3f,0.3f,0.9f);
    textureMoveIn=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
    textureMoveOut=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveLeft=glIconTextureManager.getIconTexture(EIconTextures.ARROW_DOWN);
    textureMoveRight=glIconTextureManager.getIconTexture(EIconTextures.ARROW_LEFT);
  }
  gl.glLineWidth(4);
  gl.glPushName(pickingManager.getPickingID(iUniqueId,EPickingType.BUCKET_LOCK_ICON_SELECTION,iViewID));
  gl.glColor4f(0.5f,0.5f,0.5f,1);
  gl.glBegin(GL.GL_LINE_LOOP);
  gl.glVertex3f(2.66f,2.66f,0.02f);
  gl.glVertex3f(2.66f,5.33f,0.02f);
  gl.glVertex3f(5.33f,5.33f,0.02f);
  gl.glVertex3f(5.33f,2.66f,0.02f);
  gl.glEnd();
  textureLock.enable();
  textureLock.bind();
  gl.glColor4f(tmpColor_lock.x(),tmpColor_lock.y(),tmpColor_lock.z(),tmpColor_lock.w());
  gl.glBegin(GL.GL_POLYGON);
  gl.glTexCoord2f(texCoords.left(),texCoords.bottom());
  gl.glVertex3f(2.66f,2.66f,0.03f);
  gl.glTexCoord2f(texCoords.left(),texCoords.top());
  gl.glVertex3f(2.66f,5.33f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.top());
  gl.glVertex3f(5.33f,5.33f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.bottom());
  gl.glVertex3f(5.33f,2.66f,0.03f);
  gl.glEnd();
  textureLock.disable();
  gl.glPopName();
  gl.glPushName(pickingManager.getPickingID(iUniqueId,bottomWallPickingType,iViewID));
  gl.glColor4f(0.5f,0.5f,0.5f,1);
  gl.glBegin(GL.GL_LINE_LOOP);
  gl.glVertex3f(0,0,0.02f);
  gl.glVertex3f(2.66f,2.66f,0.02f);
  gl.glVertex3f(5.33f,2.66f,0.02f);
  gl.glVertex3f(8,0,0.02f);
  gl.glEnd();
  gl.glColor4f(tmpColor_in.x(),tmpColor_in.y(),tmpColor_in.z(),tmpColor_in.w());
  gl.glBegin(GL.GL_POLYGON);
  gl.glVertex3f(0.05f,0.05f,0.02f);
  gl.glVertex3f(2.66f,2.66f,0.02f);
  gl.glVertex3f(5.33f,2.66f,0.02f);
  gl.glVertex3f(7.95f,0.02f,0.02f);
  gl.glEnd();
  textureMoveIn.enable();
  textureMoveIn.bind();
  gl.glBegin(GL.GL_POLYGON);
  gl.glTexCoord2f(texCoords.left(),texCoords.bottom());
  gl.glVertex3f(2.66f,0.05f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.bottom());
  gl.glVertex3f(2.66f,2.66f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.top());
  gl.glVertex3f(5.33f,2.66f,0.03f);
  gl.glTexCoord2f(texCoords.left(),texCoords.top());
  gl.glVertex3f(5.33f,0.05f,0.03f);
  gl.glEnd();
  textureMoveIn.disable();
  gl.glPopName();
  gl.glPushName(pickingManager.getPickingID(iUniqueId,rightWallPickingType,iViewID));
  gl.glColor4f(0.5f,0.5f,0.5f,1);
  gl.glBegin(GL.GL_LINE_LOOP);
  gl.glVertex3f(8,0,0.02f);
  gl.glVertex3f(5.33f,2.66f,0.02f);
  gl.glVertex3f(5.33f,5.33f,0.02f);
  gl.glVertex3f(8,8,0.02f);
  gl.glEnd();
  gl.glColor4f(tmpColor_right.x(),tmpColor_right.y(),tmpColor_right.z(),tmpColor_right.w());
  gl.glBegin(GL.GL_POLYGON);
  gl.glVertex3f(7.95f,0.05f,0.02f);
  gl.glVertex3f(5.33f,2.66f,0.02f);
  gl.glVertex3f(5.33f,5.33f,0.02f);
  gl.glVertex3f(7.95f,7.95f,0.02f);
  gl.glEnd();
  textureMoveRight.enable();
  textureMoveRight.bind();
  gl.glBegin(GL.GL_POLYGON);
  gl.glTexCoord2f(texCoords.left(),texCoords.bottom());
  gl.glVertex3f(7.95f,2.66f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.bottom());
  gl.glVertex3f(5.33f,2.66f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.top());
  gl.glVertex3f(5.33f,5.33f,0.03f);
  gl.glTexCoord2f(texCoords.left(),texCoords.top());
  gl.glVertex3f(7.95f,5.33f,0.03f);
  gl.glEnd();
  textureMoveRight.disable();
  gl.glPopName();
  gl.glPushName(pickingManager.getPickingID(iUniqueId,leftWallPickingType,iViewID));
  gl.glColor4f(0.5f,0.5f,0.5f,1);
  gl.glBegin(GL.GL_LINE_LOOP);
  gl.glVertex3f(0,0,0.02f);
  gl.glVertex3f(0,8,0.02f);
  gl.glVertex3f(2.66f,5.33f,0.02f);
  gl.glVertex3f(2.66f,2.66f,0.02f);
  gl.glEnd();
  gl.glColor4f(tmpColor_left.x(),tmpColor_left.y(),tmpColor_left.z(),tmpColor_left.w());
  gl.glBegin(GL.GL_POLYGON);
  gl.glVertex3f(0.05f,0.05f,0.02f);
  gl.glVertex3f(0.05f,7.95f,0.02f);
  gl.glVertex3f(2.66f,5.33f,0.02f);
  gl.glVertex3f(2.66f,2.66f,0.02f);
  gl.glEnd();
  textureMoveLeft.enable();
  textureMoveLeft.bind();
  gl.glBegin(GL.GL_POLYGON);
  gl.glTexCoord2f(texCoords.left(),texCoords.bottom());
  gl.glVertex3f(0.05f,2.66f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.bottom());
  gl.glVertex3f(0.05f,5.33f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.top());
  gl.glVertex3f(2.66f,5.33f,0.03f);
  gl.glTexCoord2f(texCoords.left(),texCoords.top());
  gl.glVertex3f(2.66f,2.66f,0.03f);
  gl.glEnd();
  textureMoveLeft.disable();
  gl.glPopName();
  gl.glPushName(pickingManager.getPickingID(iUniqueId,topWallPickingType,iViewID));
  gl.glColor4f(0.5f,0.5f,0.5f,1);
  gl.glBegin(GL.GL_LINE_LOOP);
  gl.glVertex3f(0,8,0.02f);
  gl.glVertex3f(8,8,0.02f);
  gl.glVertex3f(5.33f,5.33f,0.02f);
  gl.glVertex3f(2.66f,5.33f,0.02f);
  gl.glEnd();
  gl.glColor4f(tmpColor_out.x(),tmpColor_out.y(),tmpColor_out.z(),tmpColor_out.w());
  gl.glBegin(GL.GL_POLYGON);
  gl.glVertex3f(0.05f,7.95f,0.02f);
  gl.glVertex3f(7.95f,7.95f,0.02f);
  gl.glVertex3f(5.33f,5.33f,0.02f);
  gl.glVertex3f(2.66f,5.33f,0.02f);
  gl.glEnd();
  textureMoveOut.enable();
  textureMoveOut.bind();
  gl.glBegin(GL.GL_POLYGON);
  gl.glTexCoord2f(texCoords.left(),texCoords.bottom());
  gl.glVertex3f(2.66f,7.95f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.bottom());
  gl.glVertex3f(5.33f,7.95f,0.03f);
  gl.glTexCoord2f(texCoords.right(),texCoords.top());
  gl.glVertex3f(5.33f,5.33f,0.03f);
  gl.glTexCoord2f(texCoords.left(),texCoords.top());
  gl.glVertex3f(2.66f,5.33f,0.03f);
  gl.glEnd();
  textureMoveOut.disable();
  gl.glPopName();
}