Description
The javadoc for Tree#getProperty states:
"the property state with the given
{@code name}or
{@code null}if no such property state exists."
IMO the javadoc should also deal with the case that property with the
given name is not accessible.
was the return value 'null' again? or would the method throw an exception?