56575859606162636465
null, workspace.getName()); //If a string was returned, say so. if ((s != null) && (s.length() > 0)) { pc.renameWorkspace(workspace, s); } } }