Testing debugging with Virgo and Eclipse.