* This will be used with the workspace is saved and loaded.
*/
protected CALWorkspace(ResourcePath.FilePath workspaceDescriptionFile) {
this.nameToMetaModuleMap = new HashMap<ModuleName, MetaModule>();
this.persistenceManager = new WorkspacePersistenceManager(this);
this.moduleContainer = new ModuleContainer () {
@Override
public int getNModules() {
return CALWorkspace.this.getNMetaModules();
}