Merge "Minor stylistic changes in Workspace.java." into ub-launcher3-master