[jboss-user] [JBoss Tools (users)] - Double ant build in JBoss Tools?