properties: renamed ’user defined default tokenization’ to ’default tokenization’