public void mouseExited(MouseEvent e) {
				// means that the mouse is probably above the expanded panel (or
				// out of the window)
				if (!canUseMouseInfo) { // only for 1.4 codebase or untrusted
										// envs
					mouseOutOfExpandedPanelTimer.stop(); // 2005/11/01
				}
			}