public static Vector<FileIndex> read_index(String filename) {
    	Vector<FileIndex> file_index = new Vector<FileIndex>();
    	try {  
              
            BufferedReader gzipReader = new BufferedReader(new InputStreamReader(new GZIPInputStream(new FileInputStream(filename))));
            String buf;
            while((buf=gzipReader.readLine()) != null)
            {
            	String[] ss = buf.split(" ");
            	FileIndex temp = new FileIndex(ss[0], Integer.parseInt(ss[3]), ss[4], ss[6]);
            	file_index.add(temp);
            }
            gzipReader.close();
        } catch (Exception ex){  
            System.err.println(ex.toString());  
        }  
        return file_index;
    }