code: public void changePathInURL(String path, boolean changeHistory) {
          jcrURL.setPath(path);
          if (changeHistory) {
              htmlHistory.newItem(jcrURL.toString(), false);
          }
      }
docs: Changes node path in the URL displayed by browser.
  
  @param path the path to the node.
  @param changeHistory if true store URL changes in browser's history.