mergeString

Merges two string maps into a new map. When both maps contain the same key, the value from the second map takes priority.

Example:

    var defaults = new HashMap<string, string> (GLib.str_hash, GLib.str_equal);
    defaults.put ("theme", "light");
    defaults.put ("lang", "en");
    var overrides = new HashMap<string, string> (GLib.str_hash, GLib.str_equal);
    overrides.put ("theme", "dark");
    var merged = Maps.mergeString (defaults, overrides);
    // merged["theme"] == "dark", merged["lang"] == "en"

Parameters:

a	the base map.
b	the override map (takes priority).

Returns:

a new merged HashMap.