private ResourceFile fromUrl(URL url) {
		String urlString = url.toExternalForm();
		try {
			// Decode the URL to replace things like %20 with real spaces.
			// Note: can't use URLDecoder.decode(String, Charset) because Utility must be
			// Java 1.8 compatible.
			urlString = URLDecoder.decode(urlString, "UTF-8");
		}
		catch (UnsupportedEncodingException e) {
			// Shouldn't happen, but failed to find UTF-8 encoding.
			// Proceed without decoding, and hope for the best.
		}
		return new ResourceFile(urlString);
	}
Gets a {@link ResourceFile} from a {@link URL}

@param url The {@link URL}
@return A {@link ResourceFile} from the given {@link URL}
Ghidra/Framework/Utility/src/main/java/ghidra/GhidraJarApplicationLayout.java