package org.ossmeter.metricprovider.rascal.trans.model;

import com.googlecode.pongo.runtime.*;
import com.mongodb.*;
// protected region custom-imports on begin
// protected region custom-imports end

public class RascalMetrics extends PongoDB {
	
	public RascalMetrics() {}
	
	public RascalMetrics(DB db) {
		setDb(db);
	}
	
	protected MeasurementCollection measurements = null;
	
	// protected region custom-fields-and-methods on begin
	// protected region custom-fields-and-methods end
	
	
	public MeasurementCollection getMeasurements() {
		return measurements;
	}
	
	
	@Override
	public void setDb(DB db) {
		super.setDb(db);
		measurements = new MeasurementCollection(db.getCollection("RascalMetrics.measurements"));
		pongoCollections.add(measurements);
	}
}
@@ -245,68 +245,140 @@
  %7B%0A%09
-%0A%09public RascalMetrics() %7B%7D%0A%09%0A%09public RascalMetrics(DB db) %7B
+private final String collectionName;%0A%09%0A%09public RascalMetrics(DB db, String collectionName) %7B%0A%09%09this.collectionName = collectionName;
 %0A%09%09s

Fix for naming collections in Rascal metrics