}
}
protected DataSource makeDataSource(File file) {
if (Files.getFileExtension(file.getName()).equals("pack")) {
return new PackedDataSourceBuilder()
.setDomain(source.getPreferenceDomain())
.setFile(file)
.build();
} else {
return new CSVDataSourceBuilder()