Ejemplo n.º 1
0
 public void delete_resources(ResourceType t) {
   Set<String> resources = resource_map.get(t);
   if (resources != null && !resources.isEmpty()) {
     delete_resources(t, new ArrayList<String>(resources));
     resource_map.remove(t);
   }
 }