private static String fixLink(String href) {
		if (FileUtilities.isRemote(href))
			return href;
		href = FileUtilities.httpDecode(href);
		if (href.startsWith("file:")) {
			// watch here: we need 4 backslashes to make up a new regex "\\"
			href = OS.startsWith("Windows") ? href.substring(6).replaceAll("/", "\\\\") : href.substring(5);
		}
		return href;
	}