Fixes to auto-generated portal.properties