[jboss-user] Migrate Tomcat configuration to JBoss 4.2.x