+ /** The generated SQL varies with the envers-configuration! */
+ if (md5s.containsKey(ENVERS))
+ {
+ String envers = properties.getProperty(ENVERS);
+ if (md5s.get(ENVERS).equals(envers))
+ getLog().debug("Envers-configuration unchanged.");
+ else
+ {
+ getLog().debug("Envers-configuration changed: " + envers);
+ modified = true;
+ md5s.put(ENVERS, envers.toString());
+ }
+ }
+ else
+ {
+ modified = true;
+ md5s.put(ENVERS, properties.getProperty(ENVERS));
+ }
+