public static String getFilename(URL url) {
		int first = -1;
		for (int i = url.getPath().length() - 1; i >= 0 && first == -1; --i) {
			if (url.getPath().charAt(i) == '/') {
				first = i + 1;
			}
		}
		return url.getPath().substring(first);
	}