}
protected void updateViewport(final PropertyChangeEvent e) {
JViewport oldValue = (JViewport)e.getOldValue();
if (oldValue != null) {
oldValue.removeChangeListener(viewportChangeListener);
}
JViewport newValue = (JViewport)e.getNewValue();
if (newValue != null) {
newValue.addChangeListener(viewportChangeListener);