public static File getTopIndexFileFromConfig(FeatureCollectionConfig config) {
    File indexFile = makeTopIndexFileFromConfig(config);
    return GribIndexCache.getExistingFileOrCache(indexFile.getPath());
  }
public static File getTopIndexFileFromConfig(FeatureCollectionConfig config) {
    File indexFile = makeTopIndexFileFromConfig(config);
    return GribIndexCache.getExistingFileOrCache(indexFile.getPath());
  }
public static File getTopIndexFileFromConfig ( FeatureCollectionConfig config ) { File indexFile = makeTopIndexFileFromConfig ( config ) ; return GribIndexCache . getExistingFileOrCache ( indexFile . getPath ( ) ) ; }
///////////////////////////////////////////////////////////////////////////////////////////////
///////////////////////////////////////////////////////////////////////////////////////////////