Ejemplo n.º 1
0
 public void delete_resource(ResourceType t) {
   if (resource_map.get(t) != null) {
     for (String value : resource_map.get(t)) {
       delete_resource(t, value);
     }
     resource_map.remove(t);
   }
 }