The character encoding, initially null.
After a successful file loading or saving operation, the encoding is non-null.