modify a bug of XhTokenizer.java