Adds a Goto button in PropertiesCollectionNodes.
Overrides hashCode in NodeWrapper in order to fix a problem with the
JTree behaviour.