FILE_CHARSET

Logging system property for the file log charset.