Revert "One more file-leak-detector exclude for JaCoCo" This reverts commit bac85d33bed5076eaf316344b031560b77524d83.