eclipse.preferences.version=1 encoding//resources/dev/portal/waf.properties=UTF-8 encoding//resources/dev/waf.properties=UTF-8 encoding//resources/local/waf.properties=UTF-8 encoding//resources/prod/waf.properties=UTF-8 encoding/=UTF-8