Re: [Monetdb-developers] [Monetdb-checkins] clients/src/java build.properties, , 1.6, 1.7 build.xml, , 1.20, 1.21 release.txt, , 1.4, 1.5 version.sh, , 1.7, 1.8