public void updateTitle(int index) {
		int count = getComponentCount();
		if (index >= 0 && index < count) {
			Component child = getComponent(index);
			if (child instanceof DockTab) {
				((DockTab) child).updateTitle();
			}
		}
	}