Can't use graal:// URLs to get to servers with spaces in their names.
i.e. Graal Kingdoms. In previous versions (including previous v5 versions) graal:// URLs worked fine even when the server had a space in the name, but not since the most recent version came out.