open-dataset(s) for java.io.File