javａ判断txt文件的编码格式