Use split with a regular expression instead of StringTokenizer