protected void displayResults(){
  Result result;
  if (m_ResultHistoryList.getSelectedIndex() == -1) {
    m_TextAreaResults.setText("");
    return;
  }
  result=m_ResultHistoryList.getResultAt(m_ResultHistoryList.getSelectedIndex());
  if (result == null)   return;
  m_TextAreaResults.setText(result.toString());
}

protected void displayResults ( ) { Result result ; if ( m_ResultHistoryList . getSelectedIndex ( ) == - 1 ) { m_TextAreaResults . setText ( "" ) ; return ; } result = m_ResultHistoryList . getResultAt ( m_ResultHistoryList . getSelectedIndex ( ) ) ; if ( result == null ) return ; m_TextAreaResults . setText ( result . toString ( ) ) ; }
displays the selected results .
