public static void loadlist(InputStream list, int prio) throws IOException {
		BufferedReader in = new BufferedReader(new InputStreamReader(list,
				"us-ascii"));
		String ln;
		while ((ln = in.readLine()) != null) {
			int pos = ln.indexOf(':');
			if (pos < 0)
				continue;
			String nm = ln.substring(0, pos);
			int ver;
			try {
				ver = Integer.parseInt(ln.substring(pos + 1));
			} catch (NumberFormatException e) {
				continue;
			}
			try {
				load(nm, ver, prio);
			} catch (RuntimeException e) {
			}
		}
		in.close();
	}