int numEdgesToRemove = source.getValue();
clusterAndRecolor(layout, numEdgesToRemove, similarColors,
groupVertices.isSelected());
sliderBorder.setTitle(
COMMANDSTRING + edgeBetweennessSlider.getValue());
eastControls.repaint();
vv.validate();
vv.repaint();
}
}
});