private void updateWindowMenu() {
		int n = windowMenu.getItemCount();
		Component c = null;
		ArrayList<JCheckBoxMenuItem> old = new ArrayList<JCheckBoxMenuItem>();
		for (int i = 0; i < n; i++) {
			c = windowMenu.getItem(i);
			if (c instanceof JCheckBoxMenuItem) {
				old.add((JCheckBoxMenuItem) c);
			}
		}
		for (JCheckBoxMenuItem x : old)
			windowMenu.remove(x);
		for (final Modeler x : windowList) {
			JCheckBoxMenuItem mi = new JCheckBoxMenuItem(x.editor.getPage().getTitle());
			if (x == Modeler.this)
				mi.setSelected(true);
			mi.addItemListener(new ItemListener() {
				public void itemStateChanged(ItemEvent e) {
					if (e.getStateChange() == ItemEvent.SELECTED) {
						x.toFront();
						x.getEditor().getPage().requestFocusInWindow();
					}
				}
			});
			windowMenu.add(mi);
		}
	}