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);
 }