Re: [Monetdb-developers] [Monetdb-checkins] java configure.ag, , 1.2, 1.3 rpm.mk.in, , 1.2, 1.3