This is what is causing the conflict with master and makes this pull request unable to merge. It should be updated to be ${doctools.version} as in master and then that property set to 5.