用ajax实现的java文件打包下载。可以输入扩展名选择文件下载。