Although following libraries are intstalled as dependencies of RPMs, nothing suggests that they belong to WFK and should be bundled into customer's application. Please either provide symlinks that will suggest this (e.g. /usr/share/java/struts-oro.jar -> /usr/share/java/jakarta-oro.jar) or document their location in installed system.

jboss-wfk-1.0/richfaces/lib/jsf-impl.jar found in /usr/share/java/glassfish-jsf-impl.jar
jboss-wfk-1.0/richfaces/lib/jsf-api.jar found in /usr/share/java/jsf-api.jar
jboss-wfk-1.0/richfaces/lib/jsf-facelets.jar found in /usr/share/java/jsf-facelets.jar
jboss-wfk-1.0/richfaces/lib/jhighlight.jar found in /usr/share/java/jhighlight.jar
jboss-wfk-1.0/struts/lib/oro.jar found in /usr/share/java/jakarta-oro.jar
jboss-wfk-1.0/struts/lib/commons-chain.jar found in /usr/share/java/commons-chain.jar
jboss-wfk-1.0/struts/lib/bsf.jar found in /usr/share/java/bsf.jar
jboss-wfk-1.0/struts/lib/antlr.jar found in /usr/share/java/antlr.jar

Libraries included in more than one framework should have several links to them. E.g.:
richfaces-commons-beanutils.jar -> commons-beanutils.jar
struts-commons-beanutils.jar -> commons-beanutils.jar
Or in other way expressed which framework do they belong to.