a java code tokenizer