Adding JavaDoc to header of the Workspace class.

Adding a new JavaDoc to the header of the Workspace class.