public File getDirectory() {
File dir = ldProps.getDirectory();
String dirname = bundle.getString("directory");
return new File(dir, dirname);
}
public File getDataFile() {
return new File(getDirectory(), bundle.getString("datafile"));
}
public SteinmetzProperties(String name, LitDataProperties ps) {
ldProps = ps;
String filename = String.format("edu.mit.csail.cgs.sigma.litdata.steinmetz.%s", name);
bundle = ResourceBundle.getBundle(filename);
}