- text = text.replaceAll("(\\s|[,; ])+", ";");
- if (!t0.equals(text)) // BH 2019.01.30 no need to do setting if it is the same
- textArea.setText(text);
+ text = text.replaceAll("(\\s|[; ])+", ";");
+ if (!t0.equals(text))
+ {
+ textArea.setText(text);
+ }