294295296297298299300301302
private static Region[] indexFile(String path) throws IndexingException { Indexer indexer = IndexingProvider.getIndexer(path); Region[] regions = indexer.index(path); if (regions == null) throw new IndexingException(); else return regions; }
408409410411412413414415416417418
statement.setString(1, path); statement.setDate(2, date); statement.executeUpdate(); regions = indexFile(path); if (regions == null) throw new IndexingException(); file.setRegions(regions); return file; } finally {