[Monetdb-developers] monetdb-java-config