Hi again, Please find the latest version of the "full" patch at: http://cr.openjdk.java.net/~ceisserer/7081670/webrev_full.02/ Because the return value of pumpOneEventForFilters(int id) redundant as it always equals shutdown, I now just set shutdown and return nothing.
Thanks, Clemens
