public boolean isCaseSensitive(){
  return m_caseSensitiveBox.isSelected();
}

public boolean isCaseSensitive ( ) { return m_caseSensitiveBox . isSelected ( ) ; }
returns the case sensitive search switch .
