the defaults.php within the theme folder contains a class OC_Defaults?