fix NPE in Strings.tokenize()