code: public void changeWorkspaceInURL(String name, boolean changeHistory) {
          jcrURL.setWorkspace(name);
          if (changeHistory) {
              htmlHistory.newItem(jcrURL.toString(), false);
          }
      }
docs: Changes workspace in the URL displayed by browser.
  
  @param name the name of the repository.
  @param changeHistory if true store URL changes in browser's history.