public static void dumplist(Collection<Resource> list, Writer dest) {
		PrintWriter out = new PrintWriter(dest);
		List<Resource> sorted = new ArrayList<Resource>(list);
		Collections.sort(sorted);
		for (Resource res : sorted) {
			if (res.loading) continue;
			if (!res.skip_caching) out.println(res.name + ":" + res.ver);
		}
	}