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); } }