} else if (print.useLogging()) {
logger.error(err);
}
}
final Destroy_Instance destroy =
new Destroy_Instance(workspace.getEpr(),
stubconf,
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);