Program: 189771
Project: 189771
Buggy source:
@Override public void modifyAlgo(){
  double maxIntensity=0;
  ArrayList<Double> intensity=new ArrayList<Double>();
  ArrayList intensities=new ArrayList();
  for (  Edge edge : graphModel.getGraph().getEdges()) {
    if (cancel) {
      break;
    }
    FDEBLayoutData data=edge.getEdgeData().getLayoutData();
    intensity.add(data.intensity + 1);
    if (Lookup.getDefault().lookup(PreviewController.class).getModel().getProperties().getBooleanValue(PreviewProperty.EDGE_LAYOUT_PRECALCULATE_POINTS)) {
      for (      double x : data.intensities) {
        intensities.add(x);
      }
    }
    maxIntensity=Math.max(maxIntensity,data.intensity + 1);
  }
  Collections.sort(intensity);
  double threshold=intensity.get((int)Math.min(intensity.size() - 1,intensity.size() * Lookup.getDefault().lookup(PreviewController.class).getModel().getProperties().getDoubleValue("String_Node_Str")));
  int x=intensity.size();
  System.err.println("String_Node_Str" + intensity.get(x / 5) + "String_Node_Str"+ intensity.get(x * 2 / 5)+ "String_Node_Str"+ intensity.get(x * 3 / 5)+ "String_Node_Str"+ intensity.get(x * 4 / 5));
  System.err.println("String_Node_Str" + threshold);
  for (  Edge edge : graphModel.getGraph().getEdges()) {
    if (cancel) {
      break;
    }
    FDEBLayoutData data=edge.getEdgeData().getLayoutData();
    data.updateColor(intensity);
    if (Lookup.getDefault().lookup(PreviewController.class).getModel().getProperties().getBooleanValue(PreviewProperty.EDGE_LAYOUT_PRECALCULATE_POINTS)) {
      data.updateColors(intensities);
    }
  }
  System.err.println("String_Node_Str");
}

Fixed version (ground truth):
@Override public void modifyAlgo(){
  double maxIntensity=0;
  ArrayList<Double> intensity=new ArrayList<Double>();
  ArrayList intensities=new ArrayList();
  for (  Edge edge : graphModel.getGraph().getEdges()) {
    if (cancel) {
      break;
    }
    FDEBLayoutData data=edge.getEdgeData().getLayoutData();
    intensity.add(data.intensity + 1);
    if (Lookup.getDefault().lookup(PreviewController.class).getModel().getProperties().getBooleanValue(PreviewProperty.EDGE_LAYOUT_PRECALCULATE_POINTS)) {
      for (      double x : data.intensities) {
        intensities.add(x);
      }
    }
    maxIntensity=Math.max(maxIntensity,data.intensity + 1);
  }
  if (Lookup.getDefault().lookup(PreviewController.class).getModel().getProperties().getBooleanValue(PreviewProperty.EDGE_LAYOUT_PRECALCULATE_POINTS)) {
    Collections.sort(intensities);
  }
  Collections.sort(intensity);
  double threshold=intensity.get((int)Math.min(intensity.size() - 1,intensity.size() * Lookup.getDefault().lookup(PreviewController.class).getModel().getProperties().getDoubleValue("String_Node_Str")));
  int x=intensity.size();
  System.err.println("String_Node_Str" + intensity.get(x / 5) + "String_Node_Str"+ intensity.get(x * 2 / 5)+ "String_Node_Str"+ intensity.get(x * 3 / 5)+ "String_Node_Str"+ intensity.get(x * 4 / 5));
  System.err.println("String_Node_Str" + threshold);
  for (  Edge edge : graphModel.getGraph().getEdges()) {
    if (cancel) {
      break;
    }
    FDEBLayoutData data=edge.getEdgeData().getLayoutData();
    data.updateColor(intensity);
    if (Lookup.getDefault().lookup(PreviewController.class).getModel().getProperties().getBooleanValue(PreviewProperty.EDGE_LAYOUT_PRECALCULATE_POINTS)) {
      data.updateColors(intensities);
    }
  }
  System.err.println("String_Node_Str");
}