scala-ide/scala-ide — pull request #221 by dotta (2012-10-31 15:26:38+00:00)
Title: Issue/io exception from vm 1001233

Fix #1001233 - Graceful termination of debug sessions

Major refactoring of actor code in debugger

Extracted a common superclass for all actors defined in the debugger
module. This avoids duplication and makes sure that actors terminates
consistently.

Would be great to have @phaller input on the actor refactoring ;-)