Log.debug(LOG, "Adding ", type, " ", call, ", t = ", t);
	private void addCall(Call call, double t)	{		Double time = (Double)timeByCallName.get(call.getName());		if ( time == null )		{			time = new Double(t);		}		else		{			time = new Double(time.doubleValue() + t);		}		timeByCallName.put(call.getName(), time);	}