Program: 70826
Project: 70826
Buggy source:
protected GLShaderProgram getLinesProgram(GL3 gl,RenderObjectState robj,LineStyle style){
  GLSLInfoBuilder builder=new GLSLInfoBuilder();
  builder.setNumLights(myProgManager.numLights());
  builder.setNumClipPlanes(myProgManager.numClipPlanes());
  builder.setInstancedRendering(InstancedRendering.LINES);
  if (style == LineStyle.SOLID_ARROW) {
    builder.setLineScaleOffset(true);
  }
  if (!isSelecting()) {
    Shading shading=isLightingEnabled() ? getShading() : Shading.NONE;
    builder.setLighting(shading);
    if (shading != Shading.NONE) {
      builder.setVertexNormals(true);
    }
    if (isTextureMappingEnabled()) {
      if (myCurrentColorMapProps != null && myCurrentColorMapProps.isEnabled() && !mySelectedColorActive) {
        builder.enableColorMap(true);
        builder.setTextureColorMixing(myCurrentColorMapProps.getTextureColorMixing());
        builder.setVertexTextures(true);
        builder.mixTextureColorDiffuse(myCurrentColorMapProps.getDiffuseColoring());
        builder.mixTextureColorSpecular(myCurrentColorMapProps.getSpecularColoring());
        builder.mixTextureColorEmission(myCurrentColorMapProps.getDiffuseColoring());
      }
      if (myCurrentNormalMapProps != null && myCurrentNormalMapProps.isEnabled()) {
        builder.enableNormalMap(true);
        builder.setVertexTextures(true);
      }
      if (myCurrentBumpMapProps != null && myCurrentBumpMapProps.isEnabled()) {
        builder.enableBumpMap(true);
        builder.setVertexTextures(true);
      }
    }
    if (!robj.hasColors() || !isVertexColoringEnabled() || mySelectedColorActive) {
      builder.setColorInterpolation(ColorInterpolation.NONE);
      builder.setVertexColors(false);
    }
 else {
      if (isHSVColorInterpolationEnabled()) {
        builder.setColorInterpolation(ColorInterpolation.HSV);
      }
 else {
        builder.setColorInterpolation(ColorInterpolation.RGB);
      }
      builder.setVertexColorMixing(getVertexColorMixing());
      builder.setVertexColors(true);
    }
  }
  return myProgManager.getProgram(gl,builder.build());
}

Fixed version (ground truth):
protected GLShaderProgram getLinesProgram(GL3 gl,RenderObjectState robj,LineStyle style){
  if (isSelecting()) {
    if (style == LineStyle.LINE) {
      return myProgManager.getSelectionProgram(gl,RenderMode.LINES);
    }
 else {
      return myProgManager.getSelectionProgram(gl,RenderMode.INSTANCED_LINES);
    }
  }
  GLSLInfoBuilder builder=new GLSLInfoBuilder();
  builder.setNumLights(myProgManager.numLights());
  builder.setNumClipPlanes(myProgManager.numClipPlanes());
  builder.setInstancedRendering(InstancedRendering.LINES);
  if (style == LineStyle.SOLID_ARROW) {
    builder.setLineScaleOffset(true);
  }
  if (!isSelecting()) {
    Shading shading=isLightingEnabled() ? getShading() : Shading.NONE;
    builder.setLighting(shading);
    if (shading != Shading.NONE) {
      builder.setVertexNormals(true);
    }
    if (isTextureMappingEnabled()) {
      if (myCurrentColorMapProps != null && myCurrentColorMapProps.isEnabled() && !mySelectedColorActive) {
        builder.enableColorMap(true);
        builder.setTextureColorMixing(myCurrentColorMapProps.getTextureColorMixing());
        builder.setVertexTextures(true);
        builder.mixTextureColorDiffuse(myCurrentColorMapProps.getDiffuseColoring());
        builder.mixTextureColorSpecular(myCurrentColorMapProps.getSpecularColoring());
        builder.mixTextureColorEmission(myCurrentColorMapProps.getDiffuseColoring());
      }
      if (myCurrentNormalMapProps != null && myCurrentNormalMapProps.isEnabled()) {
        builder.enableNormalMap(true);
        builder.setVertexTextures(true);
      }
      if (myCurrentBumpMapProps != null && myCurrentBumpMapProps.isEnabled()) {
        builder.enableBumpMap(true);
        builder.setVertexTextures(true);
      }
    }
    if (!robj.hasColors() || !isVertexColoringEnabled() || mySelectedColorActive) {
      builder.setColorInterpolation(ColorInterpolation.NONE);
      builder.setVertexColors(false);
    }
 else {
      if (isHSVColorInterpolationEnabled()) {
        builder.setColorInterpolation(ColorInterpolation.HSV);
      }
 else {
        builder.setColorInterpolation(ColorInterpolation.RGB);
      }
      builder.setVertexColorMixing(getVertexColorMixing());
      builder.setVertexColors(true);
    }
  }
  return myProgManager.getProgram(gl,builder.build());
}