#vulnerable code 
                             private void printTimer(TimerMetric timer) {
		output.printf("             count = %d%n", timer.counterMetric.totalCount);
		output.printf("         last rate = %2.2f/s%n", timer.counterMetric.lastRate);
		output.printf("         mean rate = %2.2f/s%n", timer.counterMetric.meanRate);
		output.printf("               min = %d ms%n", timer.histogramMetric.min);
		output.printf("               max = %d ms%n", timer.histogramMetric.max);
		output.printf("              mean = %2.2f ms%n", timer.histogramMetric.mean);
		for (Entry<Double, Long> pct : timer.histogramMetric.pcts.entrySet()) {
			output.printf("           %2.2f%% <= %d ms%n", pct.getKey(), pct.getValue());
		}
	} 
                            #location 3 
                            #vulnerability type CHECKERS_PRINTF_ARGS
#fixed code
                             private void printTimer(TimerMetric timer) {
		output.printf("             count = %d%n", timer.counterMetric.totalCount);
		output.printf("         last rate = %d%n", timer.counterMetric.lastRate);
		output.printf("         mean rate = %d%n", timer.counterMetric.meanRate);
		output.printf("               min = %d ms%n", timer.histogramMetric.min);
		output.printf("               max = %d ms%n", timer.histogramMetric.max);
		output.printf("              mean = %2.2f ms%n", timer.histogramMetric.mean);
		for (Entry<Double, Long> pct : timer.histogramMetric.pcts.entrySet()) {
			output.printf("           %2.2f%% <= %d ms%n", pct.getKey(), pct.getValue());
		}
	}