Hibernate-tools kunnen geen indexinformatie ophalen uit Postgres-tabellen

Heb het bedacht. Het bleek dat ik een verouderd PostgreSQL JDBC-stuurprogramma gebruikte dat niet compatibel was met mijn PostgreSQL 10-databaseserver. Vervangen door het juiste jar-bestand en het werkt nu.