((DiskStoreAttributesCreation) ds).hasTimeInterval())) { if (generateDefaults() || ds.getTimeInterval() != DiskStoreFactory.DEFAULT_TIME_INTERVAL) atts.addAttribute("", "", TIME_INTERVAL, "",
((DiskStoreAttributesCreation) ds).hasTimeInterval())) { if (generateDefaults() || ds.getTimeInterval() != DiskStoreFactory.DEFAULT_TIME_INTERVAL) atts.addAttribute("", "", TIME_INTERVAL, "",