Update KoreanCharacterTokenizer.java