* tidy inputs and check there is something to search for
*/
String t0 = textArea.getText();
- String text = text.trim(); // BH 2019.01.30
+ String text = t0.trim(); // BH 2019.01.30
if (replacePunctuation.isEnabled() && replacePunctuation.isSelected())
{
text = text.replace(",", ";");