private void reload(){
  Document doc=textPane.getDocument();
  doc.putProperty(Document.StreamDescriptionProperty,null);
  reference=currentReference;
  loadPage(currentPage);
}

private void reload ( ) { Document doc = textPane . getDocument ( ) ; doc . putProperty ( Document . StreamDescriptionProperty , null ) ; reference = currentReference ; loadPage ( currentPage ) ; }
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 .
