142143144145146147148149150151152
} super.run(notifier); } finally { try { executor.stop(); } catch (Exception e) { // Squash this and let the original exception be thrown. } } }
130131132133134135136137138139140