class SessionSettings {

    public void toString(PrintWriter writer) {
        try {
            writeSection("[DEFAULT]", writer, getDefaultProperties());
            final Iterator<SessionID> s = sectionIterator();
            while (s.hasNext()) {
                try {
                    writeSection("[SESSION]", writer, getSessionProperties(s.next()));
                } catch (final ConfigError e) {
                    log.error("Invalid session", e);
                }
            }
        } finally {
            writer.flush();
        }
    }

    public  SessionSettings();
    public  SessionSettings(Properties variableValues);
    public  SessionSettings(String filename, Properties variableValues);
    public  SessionSettings(String filename);
    public  SessionSettings(InputStream stream);
    public  SessionSettings(InputStream stream, Properties variableValues);

}