Added proper exception printout in Workspace.java.