Cleanup: remove dependency on Platform out from FilteredTree class