Jooq 3 migrations and new RDB export formats (work in progress)