None of these keys exists in portal.properties. So I'm not sure what this file is for