public void mouseEntered(MouseEvent e) {
				// means that the mouse is not above the expanded panel
				if (!canUseMouseInfo) { // only for 1.4 codebase or untrusted
										// envs
					mouseOutOfExpandedPanelTimer.restart(); // 2005/11/01
				}
			}