+ /** 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 unchanged.");
+ else
+ {
+ getLog().debug("Envers changed: " + envers);
+ modified = true;
+ md5s.put(ENVERS, envers);
+ }
+ }
+ else
+ {
+ modified = true;
+ md5s.put(ENVERS, properties.getProperty(ENVERS));
+ }
+