See discussion in #1079 for details.

I think we should just always kill the gradle process when shutting down, unless it has some downsides I am missing.

@opcode81 @mareurs @cx-alberto-simoes