js下载文件并修改文件名 用js下载文件，使用<a>标签，添加download属性即可。vara=document.createElement("a");a.href="http:/ java文件重新命名