tree 460da51accb7091c1bca55ffb5c0064bcaff4fa0
parent 79079f21fa4b466c3cbb518bce4488bef14c93c4
author Boris Bokowski <bbokowski> 1228512102 +0000
committer Boris Bokowski <bbokowski> 1228512102 +0000

Fix for Bug 256839 [Workbench] Workbench.shutdown() doesn't complete due to exception