Fixed the JBoss application server version number for consistency. Reformatted source code.