Packages inheriting eclasses

(tree synced at Tue Jul 07 2015 05:31:18 UTC)