Trait to mix into records that have a primary key. The primary key field must be named "idField", though
the name of the database column can be changed from that using @Column(name="id") or similar.
The primary key field of the record.
The primary key field of the record. Must not be optional.
Implement requirements of KeyedEntity by returning the current value of idField