tree 7046adb0d4cabe1ede1987f8f2181bf938765195
parent 25645f41aa89206459d2bd90334a4006bb67aeff
author Daniel LeBerre <dleberre> 1265896002 +0000
committer Daniel LeBerre <dleberre> 1265896002 +0000

Fix issue when stopping the solver (maybe the Thread.sleep() code should go to DependencyHelper.