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>