Describe how to customize the jOOQ version