Halved the memory allocation for gradle;  slightly slower, but still
far faster than before, and should work on jenkins.