Ich habe mal den Code debuged und habe gesehen, dass ja in der Doc-Datei auch noch Zeilenenden \r vorhanden sind, die ich zu meiner Dummheit übersehen habe.
hat als delimiter auch \r hinzugefügt und das hat mein Problem gelöst.
hat als delimiter auch \r hinzugefügt und das hat mein Problem gelöst.
Java:
String[] tokens = para.split("[\\t\\r.:;, ]+");