Program: 15613
Project: 15613
Buggy source:
@Override public void processData(SdumServiceResultSet resultSet){
  boolean triggerUpdate=true;
  model.getMarkers().clear();
  model.getCircles().clear();
  for (  QueryResult resultBlock : resultSet.getQueryResult()) {
    for (    Result result : resultBlock.getSparql().getResults().getResult()) {
      Double lat=null;
      Double lon=null;
      Double value=null;
      for (      Binding binding : result.getBinding()) {
        if ("String_Node_Str".equals(binding.getName())) {
          value=Double.valueOf(binding.getLiteral().getContent());
        }
 else         if ("String_Node_Str".equals(binding.getName())) {
          lat=Double.valueOf(binding.getLiteral().getContent());
        }
 else         if ("String_Node_Str".equals(binding.getName())) {
          lon=Double.valueOf(binding.getLiteral().getContent());
        }
      }
      if (value != null && lat != null && lon != null) {
        LatLng coord=new LatLng(lat,lon);
        if (MapType.Markers.equals(mapType)) {
          model.addOverlay(new Marker(coord,"String_Node_Str" + value));
        }
 else         if (MapType.Circles.equals(mapType)) {
          Circle circle=new Circle(coord,value * valueScaler);
          circle.setStrokeColor("String_Node_Str");
          circle.setFillColor("String_Node_Str");
          circle.setStrokeOpacity(0.7);
          circle.setFillOpacity(0.7);
          model.addOverlay(circle);
        }
 else {
          Circle circle=new Circle(coord,value * valueScaler);
          circle.setStrokeColor("String_Node_Str");
          circle.setFillColor("String_Node_Str");
          circle.setStrokeOpacity(0.7);
          circle.setFillOpacity(0.7);
          model.addOverlay(new Marker(coord,"String_Node_Str" + value));
          model.addOverlay(circle);
        }
      }
    }
  }
  if (triggerUpdate) {
    RequestContext requestContext=RequestContext.getCurrentInstance();
    if (requestContext != null) {
      requestContext.update(panel.getClientId());
    }
  }
}

Fixed version (ground truth):
@Override public void processData(SdumServiceResultSet resultSet){
  boolean triggerUpdate=true;
  model.getMarkers().clear();
  model.getCircles().clear();
  for (  QueryResult resultBlock : resultSet.getQueryResult()) {
    for (    Result result : resultBlock.getSparql().getResults().getResult()) {
      Double lat=null;
      Double lon=null;
      Double value=null;
      for (      Binding binding : result.getBinding()) {
        if ("String_Node_Str".equals(binding.getName())) {
          value=Double.valueOf(binding.getLiteral().getContent());
        }
 else         if ("String_Node_Str".equals(binding.getName())) {
          lat=Double.valueOf(binding.getLiteral().getContent());
        }
 else         if ("String_Node_Str".equals(binding.getName())) {
          lon=Double.valueOf(binding.getLiteral().getContent());
        }
      }
      if (value != null && lat != null && lon != null) {
        String overlayData=FaceletLocalization.getLocalisedMessage(FaceletLocalization.getLocalizedResourceBundle(),"String_Node_Str","String_Node_Str" + lat + "String_Node_Str"+ lon+ "String_Node_Str",value);
        LatLng coord=new LatLng(lat,lon);
        if (MapType.Markers.equals(mapType)) {
          model.addOverlay(new Marker(coord,"String_Node_Str",overlayData));
        }
 else         if (MapType.Circles.equals(mapType)) {
          Circle circle=new Circle(coord,value * valueScaler);
          circle.setStrokeColor("String_Node_Str");
          circle.setStrokeOpacity(0.8);
          circle.setFillColor("String_Node_Str");
          circle.setFillOpacity(0.35);
          model.addOverlay(circle);
        }
 else {
          Circle circle=new Circle(coord,value * valueScaler);
          circle.setStrokeColor("String_Node_Str");
          circle.setStrokeOpacity(0.8);
          circle.setFillColor("String_Node_Str");
          circle.setFillOpacity(0.35);
          model.addOverlay(new Marker(coord,"String_Node_Str",overlayData));
          model.addOverlay(circle);
        }
      }
    }
  }
  if (triggerUpdate) {
    RequestContext requestContext=RequestContext.getCurrentInstance();
    if (requestContext != null) {
      requestContext.execute("String_Node_Str" + widget.getWidgetVar() + "String_Node_Str");
      for (      Circle circle : widget.getModel().getCircles()) {
        requestContext.execute("String_Node_Str" + widget.getWidgetVar() + "String_Node_Str"+ circle.getId()+ "String_Node_Str"+ circle.getCenter().getLat()+ "String_Node_Str"+ circle.getCenter().getLng()+ "String_Node_Str"+ circle.getRadius()+ "String_Node_Str"+ circle.getStrokeColor()+ "String_Node_Str"+ circle.getStrokeOpacity()+ "String_Node_Str"+ circle.getFillColor()+ "String_Node_Str"+ circle.getFillOpacity()+ "String_Node_Str");
      }
      for (      Marker marker : widget.getModel().getMarkers()) {
        requestContext.execute("String_Node_Str" + widget.getWidgetVar() + "String_Node_Str"+ marker.getId()+ "String_Node_Str"+ marker.getLatlng().getLat()+ "String_Node_Str"+ marker.getLatlng().getLng()+ "String_Node_Str");
      }
      requestContext.execute("String_Node_Str" + widget.getWidgetVar() + "String_Node_Str");
    }
  }
}