reformat source code; don't use ISO-2022-KR enco ding  with TextEncoding