Fix split() invocation to not lose empty strings

String.split(str) does not include trailing empty strings, which is
necessary for correctness in this case.
1 file changed