[jboss-user] [JBoss Tools] - Re: error in hot deployement 'Error renaming..'