static S loadGZTextFile(File file) ctex {
  if (!file.isFile()) ret null;
  new ByteArrayOutputStream fos;
  InputStream fis = new FileInputStream(file);
  GZIPInputStream gis = new GZIPInputStream(fis);
  try {
    byte[] buffer = new byte[1024];
    int len;
    while((len = gis.read(buffer)) != -1){
        fos.write(buffer, 0, len);
    }
  } finally {
    fis.close();
  }
  fos.close();
  return fromUtf8(fos.toByteArray()); // TODO: use a Reader
}