// Kill running tasks. Do this in a 2nd vector, called 'tasksToClose',
// because calling jobHasFinished() may result in an edit to 'tasks'.
//
TreeMap tasksToClose = new TreeMap();
tasksToClose.putAll(tasks);
for (Iterator it = tasksToClose.values().iterator(); it.hasNext(); ) {
TaskInProgress tip = (TaskInProgress) it.next();
tip.jobHasFinished();
}
// Shutdown local RPC servers. Do them