Registry tool "regtree": Handle the default attribute in the right way