<pre name="code" class="java">StringBuffer html = new StringBuffer();

InputStream in = new GZIPInputStream(new FileInputStream(file)); Scanner sc=new Scanner(in); while(sc.hasNextLine()){ html.append(sc.nextLine().toString()+"\r\n"); }

Java把一个gzip格式的文件读出来转存成String