JSF 2.0 Errors (one from server, one from IDEA)

I'm trying to create a prototype JSF application with technologies that
we are using and/or considering.

I'm trying to use the RichFaces push demo more-or-less straight out of
the box (using Tomcat6 rather than JBoss, Ant rather than Maven).

The page is attached. Looking at the page in IDEA (94.426) ALL of the
#{push.} tags are marked with a warning "JSF EL out of
attribute". When I try to bring up the page in Tomcat, the first such
tag generates an error:

#{..} is not allowed in template text

I checked the JSF tab and "push" is mapped to the correct "PushBean" class.

The most likely explanations are:

1. mistake in configuration
2. version incompatibility

I would greatly appreciate any help.

Donald McLean

Jar versions that I am using:

     <property name="jstlAPI.jar"
               value="$/jstl-1.2/jstl-api-1.2.jar"/>      <property name="jstlImpl.jar"                value="$/jstl-1.2/jstl-impl-1.2.jar"/>
     <property name="jsfAPI.jar"
               value="$/mojarra-2.0.2-FCS/lib/jsf-api.jar"/>      <property name="jsfImpl.jar"                value="$/mojarra-2.0.2-FCS/lib/jsf-impl.jar"/>
     <property name="richAPI.jar"

value="$/richfaces-ui-3.3.2.SR1/lib/richfaces-api-3.3.2.SR1.jar"/>      <property name="richImpl.jar" value="$/richfaces-ui-3.3.2.SR1/lib/richfaces-impl-3.3.2.SR1.jar"/>
     <property name="richUI.jar"

value="$/richfaces-ui-3.3.2.SR1/lib/richfaces-ui-3.3.2.SR1.jar"/>      <property name="beanUtils.jar" value="$/commons-beanutils-1.8.2/commons-beanutils-1.8.2.jar"/>
     <property name="commonsLogging.jar"

value="$/commons-logging-1.1.1/commons-logging-1.1.1.jar"/>      <property name="commonsDigester.jar" value="$/commons-digester-2.0/commons-digester-2.0.jar"/>