SessionSettings getSessionProperties(Foo, true) merges the actual settings into the defaults

If you do the following in your code:

Properties sessionProperties = sessionSettings.getSessionProperties(sessionID, true);

Then after executing the previous statement, sessionSettings.getDefaultProperties() will return the original default properties MERGED WITH the session properties specified under the sessionID, which is completely wrong. The reason lies in SessionSettings.java (comments inlined):

public Properties getSessionProperties(SessionID sessionID, boolean includeDefaults) throws ConfigError {
final Properties p = sections.get(sessionID);
if (p == null)

{ throw new ConfigError("Session not found"); }

if (includeDefaults)

{ final Properties mergedProperties = sections.get(DEFAULT_SESSION_ID); // THIS RETURNS A REFERENCE, NOT A COPY!! mergedProperties.putAll(p); /// THAT IS COMPLETELY WRONG, AS THIS MODIFIES THE ORIGINAL MAP CONTENTS return mergedProperties; }

else

{ return p; }

}

The proper solution would be to create a new Properties object and initialise it using the Properties object returned by sections.get().