A jOOQ extension