docs: public void changeRepositoryInURL(String name, boolean changeHistory) {
          jcrURL.setRepository(name);
          if (changeHistory) {
              htmlHistory.newItem(jcrURL.toString(), false);
          }
      }