question: private void reload ( ) { Document doc = textPane . getDocument ( ) ; doc . putProperty ( Document . StreamDescriptionProperty , null ) ; reference = currentReference ; loadPage ( currentPage ) ; }
target:  Reloads the current page and jumps to the same position. This is only used for testing purposes, because usually the pages shouldn't change while the program is running.