JBossAS 7.1 contains Google Guava 10.0.x (in addition to sac-1.3.jar and cssparser-0.9.5.jar). Guava can be reused in RichFaces instead of doubling it in WEB-INF/lib. The solution is pretty simple:
In richfaces-core-impl-VERSION.jar the file META-INF/MANIFEST.MF already contains the line "Dependencies: ...". This line has to be extended by just ",com.google.guava" as follows:
That's all and from now on RichFaces doesn't require the distribution of Google Guava in WEB-INF/lib when the platform is JBossAS 7.1. Please see also https://issues.jboss.org/browse/AS7-1809.
Be aware that there is no blank after the comma between net.sourceforge.cssparser and com.google.guava.