Added test to make sure the workspace is correctly initialized

This replaces the old KnowWorkspaceTest that was moved.

This only tests the eclipse specific mind numbing bits
Fixed a bug in the recorder