public void menuSelected(MenuEvent e) {
				JMenuItem mi;
				Enumeration en = encodingGroup.getElements();
				while (en.hasMoreElements()) {
					mi = (JMenuItem) en.nextElement();
					if (mi.getName().equals(page.getCharacterEncoding())) {
						mi.removeActionListener(encodingListener);
						mi.setSelected(true);
						mi.addActionListener(encodingListener);
						break;
					}
				}
			}