workspace property

Workspace workspace
final

Workspace prepared by WorkspaceManager.

Implementation

final Workspace workspace;