class SessionSettings {

    public void toStream(OutputStream out) {
        toString(new PrintWriter(new OutputStreamWriter(out)));
    }

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

}