Después de migrar a Hibernate 5.2.7, parece que obtengo valores incorrectos para el campo id.

Mi código:

@Id @SearchableId
@GeneratedValue(strategy=GenerationType.AUTO, generator="hms_seq_gen")
@SequenceGenerator(name="hms_seq_gen", sequenceName="patregn_seq")
protected Integer ID;

Hibernate dispara esta consulta:

select nextval ('patregn_seq')
lo que da 5367. El último valor en el campo id en la tabla es 5358.

Y entiendo esto
ERROR: duplicate key value violates unique constraint "patientregistration_pkey" [java] Detail: Key (id)=(5318) already exists.

Estoy seguro de que esta pregunta es similar aesta yesta, pero me veo obligado a preguntar porque la solución dada allí no funciona para mí:

yo añadí

<property value="true" name="hibernate.id.new_generator_mappings"/>

a mi persistencia.xml, pero fue en vano. Cualquier ayuda sería muy apreciada.