Program: 19119
Project: 19119
Buggy source:
@Override public void onReceive(final Context context,final Intent intent){
  if (intent == null || intent.getAction() == null)   return;
  final SharedPreferences prefs=PreferenceManager.getDefaultSharedPreferences(context);
  final LiveMapNotificationManager notificationManager=LiveMapNotificationManager.get(context);
  LastLiveMapData.getInstance().update(intent);
  if (liveMapNotificationManager.handleBroadcastIntent(intent)) {
    mForceUpdate=notificationManager.isForceUpdateRequiredInFuture();
    return;
  }
  if (!prefs.getBoolean(PrefConstants.LIVE_MAP,false)) {
    return;
  }
  if (intent.getBooleanExtra(VAR_B_MAP_USER_TOUCHES,false))   return;
  if (LocusUtils.getLocationFromIntent(intent,VAR_LOC_MAP_CENTER) == null)   return;
  PeriodicUpdatesHandler pu=PeriodicUpdatesHandler.getInstance();
  pu.setLocNotificationLimit(computeNotificationLimit(intent));
  pu.onReceive(context,intent,new PeriodicUpdatesHandler.OnUpdate(){
    @Override public void onIncorrectData(){
    }
    @Override public void onUpdate(    LocusUtils.LocusVersion locusVersion,    UpdateContainer update){
      if (!update.isMapVisible())       return;
      if (!update.isNewMapCenter() && !update.isNewZoomLevel() && !mForceUpdate)       return;
      mForceUpdate=false;
      if (Double.isNaN(update.getMapTopLeft().getLatitude()) || Double.isNaN(update.getMapTopLeft().getLongitude()) || Double.isNaN(update.getMapBottomRight().getLatitude())|| Double.isNaN(update.getMapBottomRight().getLongitude()))       return;
      if (update.getMapTopLeft().distanceTo(update.getMapBottomRight()) >= MAX_DIAGONAL_DISTANCE)       return;
      Location l=update.getLocMapCenter();
      LiveMapService.start(context,l.getLatitude(),l.getLongitude(),update.getMapTopLeft().getLatitude(),update.getMapTopLeft().getLongitude(),update.getMapBottomRight().getLatitude(),update.getMapBottomRight().getLongitude());
    }
  }
);
}

Fixed version (ground truth):
@Override public void onReceive(final Context context,final Intent intent){
  if (intent == null || intent.getAction() == null)   return;
  final SharedPreferences prefs=PreferenceManager.getDefaultSharedPreferences(context);
  final LiveMapNotificationManager notificationManager=LiveMapNotificationManager.get(context);
  LastLiveMapData.getInstance().update(intent);
  if (notificationManager.handleBroadcastIntent(intent)) {
    mForceUpdate=notificationManager.isForceUpdateRequiredInFuture();
    return;
  }
  if (!prefs.getBoolean(PrefConstants.LIVE_MAP,false)) {
    return;
  }
  if (intent.getBooleanExtra(VAR_B_MAP_USER_TOUCHES,false))   return;
  if (LocusUtils.getLocationFromIntent(intent,VAR_LOC_MAP_CENTER) == null)   return;
  PeriodicUpdatesHandler pu=PeriodicUpdatesHandler.getInstance();
  pu.setLocNotificationLimit(computeNotificationLimit(intent));
  pu.onReceive(context,intent,new PeriodicUpdatesHandler.OnUpdate(){
    @Override public void onIncorrectData(){
    }
    @Override public void onUpdate(    LocusUtils.LocusVersion locusVersion,    UpdateContainer update){
      if (!update.isMapVisible())       return;
      if (!update.isNewMapCenter() && !update.isNewZoomLevel() && !mForceUpdate)       return;
      mForceUpdate=false;
      if (Double.isNaN(update.getMapTopLeft().getLatitude()) || Double.isNaN(update.getMapTopLeft().getLongitude()) || Double.isNaN(update.getMapBottomRight().getLatitude())|| Double.isNaN(update.getMapBottomRight().getLongitude()))       return;
      if (update.getMapTopLeft().distanceTo(update.getMapBottomRight()) >= MAX_DIAGONAL_DISTANCE)       return;
      Location l=update.getLocMapCenter();
      LiveMapService.start(context,l.getLatitude(),l.getLongitude(),update.getMapTopLeft().getLatitude(),update.getMapTopLeft().getLongitude(),update.getMapBottomRight().getLatitude(),update.getMapBottomRight().getLongitude());
    }
  }
);
}