}
  public void updateAllocationResult(IncrementalSubscription sub) {      Iterator subIt = sub.iterator();      while (subIt.hasNext()) {	  PlanElement pe = (PlanElement) subIt.next();	  if (PluginHelper.updatePlanElement(pe)) {	      inventoryPlugin.publishChange(pe);	  }      }  }