/**
* Updates the list of modules in the minimal workspace.
*/
private void updateModulesInMinimalWorkspaceList() {
DefaultListModel model = (DefaultListModel)modulesInMinimalWorkspaceList.getModel();
model.clear();
CALWorkspace.DependencyFinder depFinder = getDependencyFinder();
List <Pair<ModuleName, Boolean>> items = new ArrayList<Pair<ModuleName, Boolean>>();