public static void merge(Collection<? extends FlamdexReader> readers, FlamdexWriter w) throws IOException { merge(readers.toArray(new FlamdexReader[readers.size()]), w); }