I am trying to use org.postgresql.ds.PGPoolingDataSource with JBOSS AS 7.1.1, I have specified the following in standalone.xml

<datasource jta="false" jndi-name="java:/TEST" pool-name="TEST" enabled="true" use-ccm="false">

...

     <datasource-class>com.postgresql.ds.PGPoolingDataSource</datasource-class>

...

</datasource>

But it looks like that JBoss is ignoring <datasource-class> value, as even if I put a wrong class name JBoss do not complain about it.