HBX-2985: Amend version identifiers in Jenkinsfile#5134

koentsje merged 1 commit intohibernate:5.3hibernate/hibernate-tools:5.3from

koentsje:5.3-devkoentsje/hibernate-tools:5.3-devCopy head branch name to clipboard