Revert #544 so that `RealJenkinsRule` shuts down cleanly on Windows#559

Merged

jglick merged 2 commits intomasterfrom ensure-rjr-cleans-up

Mar 7, 2023

+28-2

Commits on Mar 6, 2023

Enhance RealJenkinsRule.restart to check that Jenkins.cleanUp runs
dwnusbaum
committed

Commits on Mar 7, 2023

Revert "Merge pull request #544 from jglick/destroy"
dwnusbaum
committed