public interface MarvinThreadListener
void
threadFinished(MarvinThreadEvent a_threadEvent)
void threadFinished(MarvinThreadEvent a_threadEvent)