public void dispose() {
// remove standard mouse listeners
documentView.removeMouseListener(this);
scrollpane.getHorizontalScrollBar().removeAdjustmentListener(this);
scrollpane.getHorizontalScrollBar().removeMouseListener(this);
scrollpane.getVerticalScrollBar().removeAdjustmentListener(this);
scrollpane.getVerticalScrollBar().removeMouseListener(this);
// Remove wheel mouse listener
MouseWheelCurrentPageListener.uninstall(scrollpane, mouseWheelCurrentPageListener);
}
