Remove duplicate entries in portal-ext.properties