DorothySetting._isUtf8() determine character encoding by regexp