Hehe, well I also haven't had my vacation yet. Have to wait till October... :(
I am using the latest stable nightly build (3.2.0.v201007020601N-H408-M1) from http://download.jboss.org/jbosstools/updates/nightly/trunk/
It is not fixed there. Is there another nightly update site?