Added java doc to Workspace interface. Implemented WorkspaceEvent.