A simple HelloWorld servlet deployed on JBoss AS 7 on Openshift