Use JNDI for the postgres datasource.
Specify port 9999 and reload manual.