*/
private void repopulateTree(JTree tree, boolean forceScroll)
{
ignoreSelectionEvents = true;
ViewPositions pos = Utilities.getViewPositions(treeScroll);
ServerDescriptor server = null;
if (getInfo() != null)
{
server = getInfo().getServerDescriptor();