Program: 7142
Project: 7142
Buggy source:
/** 
 * Get all lines corresponding to the edges shown in the map. 
 * @return All the lines.
 */
public Collection<Line> getLines(){
  Stopwatch timer=new Stopwatch("String_Node_Str");
  HashSet<Line> lines=new HashSet<Line>();
  for (  KrakEdge e : qt.query(bounds,zoomLevel())) {
    Point2D.Double firstPoint=relativePoint(new Point2D.Double(e.getStart().getX(),e.getStart().getY()));
    Point2D.Double secondPoint=relativePoint(new Point2D.Double(e.getEnd().getX(),e.getEnd().getY()));
    Color roadColor=new Color(0x000000);
    int thickness=1;
switch (e.type) {
case 1:
      roadColor=Color.RED;
    thickness=3;
  break;
case 2:
roadColor=Color.RED;
break;
case 3:
roadColor=Color.YELLOW;
break;
case 4:
roadColor=Color.YELLOW;
break;
case 5:
roadColor=Color.ORANGE;
break;
case 6:
roadColor=Color.ORANGE;
break;
case 8:
roadColor=Color.GRAY;
break;
case 10:
roadColor=Color.ORANGE;
break;
case 11:
roadColor=Color.GRAY;
break;
case 21:
roadColor=Color.BLUE;
break;
case 22:
roadColor=Color.BLUE;
break;
case 23:
roadColor=Color.BLUE;
break;
case 24:
roadColor=Color.BLUE;
break;
case 25:
roadColor=Color.BLUE;
break;
case 26:
roadColor=Color.BLUE;
break;
case 28:
roadColor=Color.BLUE;
break;
case 31:
roadColor=Color.RED;
break;
case 32:
roadColor=Color.RED;
break;
case 33:
roadColor=Color.YELLOW;
break;
case 34:
roadColor=Color.YELLOW;
break;
case 35:
roadColor=Color.YELLOW;
break;
case 41:
roadColor=Color.RED;
break;
case 42:
roadColor=Color.RED;
break;
}
lines.add(new Line(firstPoint,secondPoint,roadColor,thickness));
}
timer.printTime();
return lines;
}

Fixed version (ground truth):
/** 
 * Get all lines corresponding to the edges shown in the map. 
 * @return All the lines.
 */
public Collection<Line> getLines(){
  Stopwatch timer=new Stopwatch("String_Node_Str");
  HashSet<Line> lines=new HashSet<Line>();
  for (  KrakEdge e : qt.query(bounds)) {
    Point2D.Double firstPoint=relativePoint(new Point2D.Double(e.getStart().getX(),e.getStart().getY()));
    Point2D.Double secondPoint=relativePoint(new Point2D.Double(e.getEnd().getX(),e.getEnd().getY()));
    Color roadColor=new Color(0x000000);
    int thickness=1;
switch (e.type) {
case 1:
      roadColor=Color.RED;
    thickness=3;
  break;
case 2:
roadColor=Color.RED;
break;
case 3:
roadColor=Color.YELLOW;
break;
case 4:
roadColor=Color.YELLOW;
break;
case 5:
roadColor=Color.ORANGE;
break;
case 6:
roadColor=Color.ORANGE;
break;
case 8:
roadColor=Color.GRAY;
break;
case 10:
roadColor=Color.ORANGE;
break;
case 11:
roadColor=Color.GRAY;
break;
case 21:
roadColor=Color.BLUE;
break;
case 22:
roadColor=Color.BLUE;
break;
case 23:
roadColor=Color.BLUE;
break;
case 24:
roadColor=Color.BLUE;
break;
case 25:
roadColor=Color.BLUE;
break;
case 26:
roadColor=Color.BLUE;
break;
case 28:
roadColor=Color.BLUE;
break;
case 31:
roadColor=Color.RED;
break;
case 32:
roadColor=Color.RED;
break;
case 33:
roadColor=Color.YELLOW;
break;
case 34:
roadColor=Color.YELLOW;
break;
case 35:
roadColor=Color.YELLOW;
break;
case 41:
roadColor=Color.RED;
break;
case 42:
roadColor=Color.RED;
break;
}
lines.add(new Line(firstPoint,secondPoint,roadColor,thickness));
}
timer.printTime();
return lines;
}