simplify the signature of String.split()