https://techiworks.com/how-deploy-war-file-jboss-server/