+ if (md5s.containsKey(ENVERS))
+ {
+ String envers = properties.getProperty(ENVERS);
+ if (md5s.get(ENVERS).equals(envers))
+ getLog().debug("Envers unchanged.");
+ else
+ {
+ getLog().debug("Envers changed: " + envers);
+ modified = true;
+ md5s.put(ENVERS, envers.toString());
+ }
+ }
+ else
+ {
+ modified = true;
+ md5s.put(ENVERS, properties.getProperty(ENVERS));
+ }
+
+ if (envers != null) {
+ if (properties.containsKey(ENVERS))
+ getLog().debug(
+ "Overwriting property " +
+ ENVERS + "=" + properties.getProperty(ENVERS) +
+ " with the value " + envers
+ );
+ else
+ getLog().debug("Using the value " + envers);
+ properties.setProperty(ENVERS, envers.toString());
+ }
+