JBIDE-17802 New URL for JBoss Portal 6.2 in ide-config.properties