public static String fileSafeString(String s) {
        char[] a = { '/', '\n', '\r', '\t', '\0', '\f', '`', '?', '*', '\\', '<', '>', '|', '"', ':' };
        int i = a.length;
        for (int x = 0; x < i; x++) {
            char c = a[i];
            s = s.replace(c, '_');
        }
        return s;
    }