/** @return */ private static String dumpDirCache() { String s = "["; s += loaded_peers.toString(); s += "]"; return s; }