Marc, please still open issue in https://jira.jboss.org/jira/browse/JBIDE
Choosing web poller should still make the shutdown be correct!
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community