public void propertyChange(PropertyChangeEvent e) {
			Component c = (Component) e.getNewValue();
			while (c != null && !(c instanceof SingleDockableContainer)) {
				c = c.getParent();
			}

			if (c instanceof SingleDockableContainer) {
				SingleDockableContainer sdc = (SingleDockableContainer) c;
				currentDockable = sdc.getDockable();
				if (sdc.getDockable() != lastFocusedDockable) {
					context.fireDockableSelectionChange(new DockableSelectionEvent(
							sdc.getDockable()));
				}
				lastFocusedDockable = sdc.getDockable();
			} else { // c == null
				currentDockable = null;
			}
		}