web_infrastructure/jboss.py