いまさらなのだけど、javadocみてたら、「StringTokenizer is a legacy class that is retained for compatibility reasons although its use is discouraged in new code. It is recommended that anyone seeking this functionality use the split method of String or the java.util.regex package instead.」と書いてあることに気づく・・・。こういうコメントは、太字にしてほしいのだけど・・・。知っているクラスについて、バージョンがあるごとにjavadocをじっくり読み直す暇もないし。というわけで、splitを使おうっと。