Error reported by a customer:
If you go down a little ways to the subsection 'Adding Datasource Drivers' there is an example for the Postgres drivers.env file.
I believe that there is an error in the documentation for the value for the POSTGRES_DRIVER_NAME field. It says 'postgres' but I think it should be 'postgresql'. After changing that value, I was able to successfully upgrade JBoss.