Endeca's default version of portal-ext.properties is included in the package endeca-portal-dependencies-<version>.zip.
This file serves as a useful starting point for configuration of the portal properties, and should be deployed to the application server according to the steps described in a previous topic.
auto.deploy.dest.dir=/home/endeca/liferay/websphere-deploy ehcache.portal.cache.manager.jmx.enabled=false