print);
// nothing to do but log errors if they occur
try {
destroy.destroy();
} catch (Throwable t) {
if (print.enabled()) {
final String err = "\"" + workspace.getDisplayName() + "\" " +
"auto-destruction did not succeed: " +
CommonUtil.genericExceptionMessageWrapper(t);