Tree is fixed and passes all tests.
(a) unmodifiableView() methods now define local classes.
(b) TestUtilities now provide assertThrows() and assertUnmodifiable() methods.