setToken() implemented for <w>-tokenization