public int getConfigSeed() {
   String seed = file.getSeedInConfig();
   if (seed == null) return NULL_SEED;
   try {
     return Integer.parseInt(seed);
   } catch (NumberFormatException e) {
     return NULL_SEED;
   }
 }
 protected String getFileNameHash() {
   return MD5.hash(file.getFile().getAbsolutePath());
 }