Re: [Monetdb-developers] [Monetdb-checkins] java Makefile.ag, , 1.11, 1.12 build.properties, , 1.5, 1.6 release.txt, , 1.5, 1.6