Avoid use of deprecated JOOQ API.