mozilla1.7/mozilla/profile/pref-migrator/public/idl
