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