StringTokenizer is 'discouraged in new code but not (yet) deprecated.

Pointed out by Richard Whitehouse, thanks!
Dummy entry to keep integration happy