С двойными сплитами нужно осторожнее. Пример:
<pre>"hello ;   wazzup man".split(";")[1].split("\\s+") == {"", "wazzup", "man"}</pre>
Надо делать первый сплит с мякоткой:
```
string.split("\\s*;\\s*");
```