public boolean wasHoverRestyled(Element e);
public boolean wasHoverRestyled(Element e) { boolean isHoverStyled = _matcher.isHoverStyled(e);  if (_matcher.isHoverStyled(e)) { _styler.restyleTree(e); return true; } return false; }
    public boolean wasHoverRestyled(Element e);