protected void showInfo(String msg){
  if (msg == null)   msg=" ";
  m_LabelInfo.setText(msg);
}

protected void showInfo ( String msg ) { if ( msg == null ) msg = " " ; m_LabelInfo . setText ( msg ) ; }
updates the info shown in the bottom panel .
