workspace property

Workspace workspace
getter/setter pair

Implementation

Workspace workspace;