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