8182838485868788
/** * In the future we may need to keep track of user info. */ protected Workspace(String id) { super(id); commandPreferences = new CommandPreferences(this.getId()); commandPreferencesId=this.getId(); }
8788899091929394
commandPreferencesId=this.getId(); } protected Workspace(String id, String cachedPreferencesId) { super(id); this.commandPreferences = new CommandPreferences(cachedPreferencesId); this.commandPreferencesId = cachedPreferencesId; }