Java中的file.encoding和sun.jnu.encoding属性的设置含义