public class WorkspaceManager
extends Object

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Workspace`	`createWorkspace()`
`static WorkspaceManager`	`getInstance()`
`Workspace`	`getWorkspace(String workspaceId)`
`boolean`	`hasWorkspace(String workspaceId)`
`void`	`removeWorkspace(Workspace workspace)`
`void`	`storeSettings()`	stores the settings immediately to disk
`void`	`updateStorage()`	Checks if the time for the store cycle exceeded and runs the store process, if necessary

protected Map<String,Workspace> workspaces

public static final WorkspaceManager getInstance()

public Workspace getWorkspace(String workspaceId)

public boolean hasWorkspace(String workspaceId)

public Workspace createWorkspace()
                          throws IOException

public void removeWorkspace(Workspace workspace)

updateStorage
```
public void updateStorage()
```
Checks if the time for the store cycle exceeded and runs the store process, if necessary

storeSettings
```
public void storeSettings()
```
stores the settings immediately to disk

Modifier and Type	Field	Description
`protected Date`	`lastSaved`
`protected Map<String,Workspace>`	`workspaces`

Class WorkspaceManager