Program: 167516
Project: 167516
Buggy source:
public EditFlowPanel(ApplicationContext context,Flow flow,IDesignNavigator designNavigator,TabbedPanel tabs){
  context.getConfigurationService().refresh(flow);
  this.flow=flow;
  this.context=context;
  this.tabs=tabs;
  this.designNavigator=designNavigator;
  this.propertySheet=new PropertySheet(context);
  this.propertySheet.setListener(new IPropertySheetChangeListener(){
    @Override public void componentNameChanged(    Component component){
      selected(EditFlowPanel.this.flow.findFlowStepWithComponentId(component.getId()));
    }
  }
);
  this.propertySheet.setCaption("String_Node_Str");
  this.componentPalette=new EditFlowPalette(this,context.getComponentFactory());
  addComponent(componentPalette);
  VerticalLayout rightLayout=new VerticalLayout();
  rightLayout.setSizeFull();
  rightLayout.addComponent(buildButtonBar());
  VerticalSplitPanel splitPanel=new VerticalSplitPanel();
  splitPanel.setSizeFull();
  splitPanel.setSplitPosition(50,Unit.PERCENTAGE);
  diagramLayout=new CssLayout();
  diagramLayout.setWidth(10000,Unit.PIXELS);
  diagramLayout.setHeight(10000,Unit.PIXELS);
  DragAndDropWrapper wrapper=new DragAndDropWrapper(diagramLayout);
  wrapper.setSizeUndefined();
  wrapper.setDropHandler(new DropHandler());
  Panel panel=new Panel();
  panel.setSizeFull();
  panel.addStyleName(ValoTheme.PANEL_WELL);
  panel.setContent(wrapper);
  splitPanel.addComponent(panel);
  splitPanel.addComponent(propertySheet);
  rightLayout.addComponent(splitPanel);
  rightLayout.setExpandRatio(splitPanel,1);
  addComponent(rightLayout);
  setExpandRatio(rightLayout,1);
  redrawFlow();
  context.getBackgroundRefresherService().register(this);
}

Fixed version (ground truth):
public EditFlowPanel(ApplicationContext context,Flow flow,IDesignNavigator designNavigator,TabbedPanel tabs){
  context.getConfigurationService().refresh(flow);
  this.flow=flow;
  this.context=context;
  this.tabs=tabs;
  this.designNavigator=designNavigator;
  this.propertySheet=new PropertySheet(context);
  this.propertySheet.setListener(new IPropertySheetChangeListener(){
    @Override public void componentNameChanged(    Component component){
      refreshStepOnDiagram(EditFlowPanel.this.flow.findFlowStepWithComponentId(component.getId()));
    }
  }
);
  this.propertySheet.setCaption("String_Node_Str");
  this.componentPalette=new EditFlowPalette(this,context.getComponentFactory());
  addComponent(componentPalette);
  VerticalLayout rightLayout=new VerticalLayout();
  rightLayout.setSizeFull();
  rightLayout.addComponent(buildButtonBar());
  VerticalSplitPanel splitPanel=new VerticalSplitPanel();
  splitPanel.setSizeFull();
  splitPanel.setSplitPosition(50,Unit.PERCENTAGE);
  diagramLayout=new CssLayout();
  diagramLayout.setWidth(10000,Unit.PIXELS);
  diagramLayout.setHeight(10000,Unit.PIXELS);
  DragAndDropWrapper wrapper=new DragAndDropWrapper(diagramLayout);
  wrapper.setSizeUndefined();
  wrapper.setDropHandler(new DropHandler());
  Panel panel=new Panel();
  panel.setSizeFull();
  panel.addStyleName(ValoTheme.PANEL_WELL);
  panel.setContent(wrapper);
  splitPanel.addComponent(panel);
  splitPanel.addComponent(propertySheet);
  rightLayout.addComponent(splitPanel);
  rightLayout.setExpandRatio(splitPanel,1);
  addComponent(rightLayout);
  setExpandRatio(rightLayout,1);
  redrawFlow();
  context.getBackgroundRefresherService().register(this);
}