public void hidePlayerInfo(){
  if (playerCardTooltip == null) {
    return;
  }
  playerCardTooltip.hide();
  playerCardTooltip=null;
}

public void hidePlayerInfo ( ) { if ( playerCardTooltip == null ) { return ; } playerCardTooltip . hide ( ) ; playerCardTooltip = null ; }
called from javascript when user no longer hovers over a user name .
