java判断文件格式