[hibernate-commits] [hibernate/hibernate-search] 7d9338: HSEARCH-3493 Add JDK13 to the Jenkinsfile