simple tokenizer submitted

i submitted a simple tokenizer, which is much faster than the one provided by suns jdk. so if you need to tokenize strings, please use this one.
christian