#vulnerable code 
                             private void printCounter(CounterMetric counter) {
		output.printf("        last count = %d%n", counter.lastCount);
		output.printf("       total count = %d%n", counter.totalCount);
		output.printf("         last rate = %2.2f/s%n", counter.lastRate);
		output.printf("         mean rate = %2.2f/s%n", counter.meanRate);
	} 
                            #location 5 
                            #vulnerability type CHECKERS_PRINTF_ARGS
#fixed code
                             private void printCounter(CounterMetric counter) {
		output.printf("        last count = %d%n", counter.lastCount);
		output.printf("       total count = %d%n", counter.totalCount);
		output.printf("         last rate = %d%n", counter.lastRate);
		output.printf("         mean rate = %d%n", counter.meanRate);
	}