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