class SessionSettings {

    public Iterator<SessionID> sectionIterator() {
        final HashSet<SessionID> nondefaultSessions = new HashSet<>(sections.keySet());
        nondefaultSessions.remove(DEFAULT_SESSION_ID);
        return nondefaultSessions.iterator();
    }

    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);

}