adjusted regexp in jacktokenizer