public void print(PrintStream out) {
        out.println("Settings");
        for (Setting setting : map.values()) {
            if (setting instanceof AlgFileSetting)
                continue;
            if (setting.getLocked()) {
                out.println("    " + setting.getName() + ": " + setting.getString());
            } else {
                out.println("    " + setting.getName() + ": [" + setting.getString() + "]");
            }
        }
    }