Developer's manual to the Java HTML class library to create, edit, extract data & convert HTML Pages to PDF, XPS, Images and other formats....the given page. void reload () Reloads the current page. void replace...String url) Removes the current page from the session history and...