[gambit-list] Gambit debug in Eclipse