In JBoss Enterprise Web Server, the SELinux configuration files and compiled .pp file are available at $<filename class="directory">confdir/selinux/packages/tomcat7</filename>. The compiled .pp file is provided but not installed. As a result, various things fail when installing the module and error messages are not descriptive.
This issue is fixed in JBoss Enterprise Web Server 2.1. The SELinux configuration files are provided and the system administrator must compile and use the policies. For more information, refer the JBoss Enterprise Web Server Installation guide.