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