Program: 142558
Project: 142558
Buggy source:
private void refreshSharedConfig(){
  VizModel vizModel=VizController.getInstance().getVizModel();
  setEnable(!vizModel.isDefaultModel());
  if (vizModel.isDefaultModel()) {
    return;
  }
  if (showEdgesCheckbox.isSelected() != vizModel.isShowEdges()) {
    showEdgesCheckbox.setSelected(vizModel.isShowEdges());
  }
  float[] edgeCol=vizModel.getEdgeUniColor();
  ((JColorButton)edgeColorButton).setColor(new Color(edgeCol[0],edgeCol[1],edgeCol[2],edgeCol[3]));
  if (sourceNodeColorCheckbox.isSelected() != !vizModel.isEdgeHasUniColor()) {
    sourceNodeColorCheckbox.setSelected(!vizModel.isEdgeHasUniColor());
  }
  if (selectionColorCheckbox.isSelected() != vizModel.isEdgeSelectionColor()) {
    selectionColorCheckbox.setSelected(vizModel.isEdgeSelectionColor());
  }
  Color in=new Color(ColorSpace.getInstance(ColorSpace.CS_sRGB),vizModel.getEdgeInSelectionColor(),1f);
  Color out=new Color(ColorSpace.getInstance(ColorSpace.CS_sRGB),vizModel.getEdgeOutSelectionColor(),1f);
  Color both=new Color(ColorSpace.getInstance(ColorSpace.CS_sRGB),vizModel.getEdgeBothSelectionColor(),1f);
  if (!edgeInSelectionColorChooser.getColor().equals(in)) {
    edgeInSelectionColorChooser.setColor(in);
  }
  if (!edgeBothSelectionColorChooser.getColor().equals(out)) {
    edgeBothSelectionColorChooser.setColor(out);
  }
  if (!edgeOutSelectionColorChooser.getColor().equals(both)) {
    edgeOutSelectionColorChooser.setColor(both);
  }
  if (scaleSlider.getValue() / 10f + 0.1f != vizModel.getEdgeScale()) {
    scaleSlider.setValue((int)((vizModel.getEdgeScale() - 0.1f) * 10));
  }
  if (metaScaleSlider.getValue() / 50f + 0.0001f != vizModel.getMetaEdgeScale()) {
    metaScaleSlider.setValue((int)((vizModel.getMetaEdgeScale() - 0.0001f) * 50));
  }
}

Fixed version (ground truth):
private void refreshSharedConfig(){
  VizModel vizModel=VizController.getInstance().getVizModel();
  setEnable(!vizModel.isDefaultModel());
  if (vizModel.isDefaultModel()) {
    return;
  }
  if (showEdgesCheckbox.isSelected() != vizModel.isShowEdges()) {
    showEdgesCheckbox.setSelected(vizModel.isShowEdges());
  }
  float[] edgeCol=vizModel.getEdgeUniColor();
  ((JColorButton)edgeColorButton).setColor(new Color(edgeCol[0],edgeCol[1],edgeCol[2],edgeCol[3]));
  if (sourceNodeColorCheckbox.isSelected() != !vizModel.isEdgeHasUniColor()) {
    sourceNodeColorCheckbox.setSelected(!vizModel.isEdgeHasUniColor());
  }
  if (selectionColorCheckbox.isSelected() != vizModel.isEdgeSelectionColor()) {
    selectionColorCheckbox.setSelected(vizModel.isEdgeSelectionColor());
  }
  Color in=new Color(ColorSpace.getInstance(ColorSpace.CS_sRGB),vizModel.getEdgeInSelectionColor(),1f);
  Color out=new Color(ColorSpace.getInstance(ColorSpace.CS_sRGB),vizModel.getEdgeOutSelectionColor(),1f);
  Color both=new Color(ColorSpace.getInstance(ColorSpace.CS_sRGB),vizModel.getEdgeBothSelectionColor(),1f);
  if (!edgeInSelectionColorChooser.getColor().equals(in)) {
    edgeInSelectionColorChooser.setColor(in);
  }
  if (!edgeBothSelectionColorChooser.getColor().equals(both)) {
    edgeBothSelectionColorChooser.setColor(both);
  }
  if (!edgeOutSelectionColorChooser.getColor().equals(out)) {
    edgeOutSelectionColorChooser.setColor(out);
  }
  if (scaleSlider.getValue() / 10f + 0.1f != vizModel.getEdgeScale()) {
    scaleSlider.setValue((int)((vizModel.getEdgeScale() - 0.1f) * 10));
  }
  if (metaScaleSlider.getValue() / 50f + 0.0001f != vizModel.getMetaEdgeScale()) {
    metaScaleSlider.setValue((int)((vizModel.getMetaEdgeScale() - 0.0001f) * 50));
  }
}