Program: 143680
Project: 143680
Buggy source:
public void setWidth(int width){
  int borderWidth=0;
  Iterator<IPersist> it2=cellview.getAllObjects();
  while (it2.hasNext()) {
    IPersist element=it2.next();
    if (id.equals(ComponentFactory.getWebID(form,element))) {
      GraphicalComponent gc=(GraphicalComponent)view.labelsFor.get(((ISupportName)element).getName());
      if (gc != null) {
        TextualStyle styleObj=new TextualStyle();
        BorderAndPadding ins=TemplateGenerator.applyBaseComponentProperties(gc,view.fc.getForm(),styleObj,(Insets)TemplateGenerator.DEFAULT_LABEL_PADDING.clone(),null,application);
        if (ins.border != null)         borderWidth=ins.border.left + ins.border.right;
      }
    }
  }
  int headerPadding=TemplateGenerator.SORTABLE_HEADER_PADDING;
  if (view.labelsFor.size() == 0) {
    int extraWidth=TemplateGenerator.NO_LABELFOR_DEFAULT_BORDER_WIDTH;
    String headerBorder=view.getHeaderBorder();
    if (headerBorder != null) {
      Properties properties=new Properties();
      Insets borderIns=ComponentFactoryHelper.createBorderCSSProperties(headerBorder,properties);
      extraWidth=borderIns.left + borderIns.right;
      headerPadding=0;
    }
    borderWidth+=extraWidth;
  }
  final int clientWidth=width - headerPadding - borderWidth;
  this.width=clientWidth;
  StyleAppendingModifier styleModifier=new StyleAppendingModifier(new Model<String>(){
    @Override public String getObject(){
      return "String_Node_Str" + clientWidth + "String_Node_Str";
    }
  }
);
  add(styleModifier);
  headerColumnTable.add(styleModifier);
  labelResolver.setWidth(clientWidth - SortableCellViewHeader.ARROW_WIDTH);
  getStylePropertyChanges().setChanged();
}

Fixed version (ground truth):
public void setWidth(int width){
  int borderWidth=0;
  Iterator<IPersist> it2=cellview.getAllObjects();
  while (it2.hasNext()) {
    IPersist element=it2.next();
    if (id.equals(ComponentFactory.getWebID(form,element))) {
      GraphicalComponent gc=(GraphicalComponent)view.labelsFor.get(((ISupportName)element).getName());
      if (gc != null) {
        TextualStyle styleObj=new TextualStyle();
        BorderAndPadding ins=TemplateGenerator.applyBaseComponentProperties(gc,view.fc.getForm(),styleObj,(Insets)TemplateGenerator.DEFAULT_LABEL_PADDING.clone(),null,application);
        if (ins.border != null)         borderWidth=ins.border.left + ins.border.right;
      }
    }
  }
  int headerPadding=TemplateGenerator.SORTABLE_HEADER_PADDING;
  if (view.labelsFor.size() == 0) {
    int extraWidth=TemplateGenerator.NO_LABELFOR_DEFAULT_BORDER_WIDTH;
    String headerBorder=view.getHeaderBorder();
    if (headerBorder != null) {
      Properties properties=new Properties();
      Insets borderIns=ComponentFactoryHelper.createBorderCSSProperties(headerBorder,properties);
      extraWidth=borderIns.left + borderIns.right - TemplateGenerator.SORTABLE_HEADER_PADDING;
      headerPadding=0;
    }
    borderWidth+=extraWidth;
  }
  final int clientWidth=width - headerPadding - borderWidth;
  this.width=clientWidth;
  StyleAppendingModifier styleModifier=new StyleAppendingModifier(new Model<String>(){
    @Override public String getObject(){
      return "String_Node_Str" + clientWidth + "String_Node_Str";
    }
  }
);
  add(styleModifier);
  headerColumnTable.add(styleModifier);
  labelResolver.setWidth(clientWidth - SortableCellViewHeader.ARROW_WIDTH);
  getStylePropertyChanges().setChanged();
}