pl.itemsName = "files";
pl.start( "Scanning files..." );
// Scan files and retrieve page pointers
for( String f : file ) {
p.clear();
final FastBufferedInputStream fbis = gzipped ? new FastBufferedInputStream( new GZIPInputStream( new FileInputStream( f ) ) ) : new FastBufferedInputStream( new FileInputStream( f ) );
long position;
for(;;) {
position = fbis.position();
if ( readLine( fbis ) == -1 ) break;