public JBZipFile(File f,String encoding) throws IOException {
  this.encoding=encoding;
  archive=new RandomAccessFile(f,"rw");
  try {
    if (archive.length() > 0) {
      populateFromCentralDirectory();
    }
 else {
      getOutputStream();
    }
  }
 catch (  IOException e) {
    try {
      archive.close();
    }
 catch (    IOException e2) {
    }
    throw e;
  }
}

public JBZipFile ( File f , String encoding ) throws IOException { this . encoding = encoding ; archive = new RandomAccessFile ( f , "rw" ) ; try { if ( archive . length ( ) > 0 ) { populateFromCentralDirectory ( ) ; } else { getOutputStream ( ) ; } } catch ( IOException e ) { try { archive . close ( ) ; } catch ( IOException e2 ) { } throw e ; } }
opens the given file for reading , assuming the specified encoding for file names .
