monetdb: disable java by default