JBIDE-14009 Change palette content when HTML page is changed

Method update() is added to PaletteContents to be used by a
document listener to switch palette.