private String getJSONProviderIds(AggregateDB agg_db, String resource) {
String output = " providerIds: [";
ArrayList<String> providerList = agg_db.getProviders(resource);
// each element of provider contains {providerId}
for (String prov : providerList) {
output += " \"" + prov + "\",";
}
if (providerList.isEmpty() == false)
output = output.substring(0, output.length() - 1); // ignoring the last comma
output += "]";
return output;
}
