Bug: 513735 - Update FilteredTree constructor

Change-Id: I1a7a6c09760ed77b4b93b2c87acd659ef3d5bbb5
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.debug/+/185560
Tested-by: Platform Bot <platform-bot@eclipse.org>
Reviewed-by: Andrey Loskutov <loskutov@gmx.de>
1 file changed