void updateActiveHighlight() {
		boolean active = UIUtilities.getSelfOrAncestorOfType(KeyboardFocusManager.getCurrentKeyboardFocusManager().getPermanentFocusOwner(), DockContainer.class) == this;
		if (mActive != active) {
			mActive = active;
			mHeader.repaint();
			if (mActive) {
				Dockable dockable = getCurrentDockable();
				if (dockable != null) {
					dockable.activated();
				}
			}
		}
	}