Trebuchet: Hotseat fixes

Updated Workspace.java for Trebuchet launcher to fix building error which came because of missing lines in this file..
It's now fixed and everything works like should..