Fixed db.txt jOOQ version (this should be automated...)