When a user defines an entity mapping as follows, Envers will simply take the provided columnDefinition and pass it as-is to the XML binding for the audit table.

@Generated(GenerationTime.INSERT)
@Column(columnDefinition = "integer auto_increment")
private int caseNumber;

Rather than having the XML binding contain sql-type="integer auto_increment', the binding should actually read sql-type="integer".

Perhaps dialects can influence what to filter by consulting the IdentityColumnSupport?