Let's just move the entire dspace.url into the maven config. For most of our servers (e.g., staging, production), we won't want to show a port.