Hi Artem,
The full patch also looks OK. Yesterday I thought in exactly the same > direction and here is my observation. EDT.pumpEventsForFilters(id) can > return the "false" value only if the thread is interrupted or stopped > (ThreadDeath is caught). Therefore when the pumpEvents() call in EDT.run() > exits, "shutdown" is always true. That's why I wrote about detaching the > event dispatch thread unconditionally in my previous email. > Ah, sorry I missed the point in my first email. Jep, this would make the code cleaner, I'll update my patch. Thanks, Clemens