final void setPage(HtmlPage page) throws IOException {
this.page = page;
final Document doc = textPane.getDocument();
doc.putProperty(Document.TitleProperty, page.getTitle());
// Clearing stream forces refresh.
doc.putProperty(Document.StreamDescriptionProperty, null);
textPane.setPage(page.getPath().toURI().toURL());
find(find.getText());
}
