This workaround about changing the pollers was only needed in the early days of JBoss AS 7.1 - if you have the latest release of JBoss Tools 3.3.x then this should *just* work (on all platforms)
If it does not then yes, please as Rob asks - open a jira so we can help track down your specific issue.
Thanks!