Simplified the code in split() a little bit after the code coverage analysis showed than one if-condition always yielded true (and that could be theoretically be proved as well).
Authored by: mrieser 2007-12-26
Parent: [r274]
Child: [r276]
