public void changeRepositoryInURL ( String name , boolean changeHistory ) { jcrURL . setRepository ( name ) ; if ( changeHistory ) { htmlHistory . newItem ( jcrURL . toString ( ) , false ) ; } }
Changes repository name in URL displayed by browser .