[jboss-dev-forums] [Deployers on JBoss (Deployers/JBoss)] - is redeployment necessary?