This colon may cause a problem if a specific port is not set. The dspace.url is supposed to include the port number, but we don't have this configured correctly on our current servers. Please remove the colon and port setting from this file, then update dspace.cfg and settings.xml to correctly configure dspace.url.