Accommodate recent API change: exclusions are now a java.io.File, not just a String...