Superclass: lively.ide.FileFragmentNode

Class definition of lively.ide.ObjectFragmentNode in lively/ide/SystemBrowserNodes.js:586