use unicode encoding for double word characters, to not break java