fix encoding problems with StringUtil source