public void changePathInURL ( String path , boolean changeHistory ) { jcrURL . setPath ( path ) ; if ( changeHistory ) { htmlHistory . newItem ( jcrURL . toString ( ) , false ) ; } }
Changes node path in the URL displayed by browser .