code: public synchronized static void leaving(String classname, int fnr2)
  	{
  		int fn = fnr2;
  		m.put(classname, StaticOperationsCounters.fin[fn]++);// fin[fn]++; //changes the #fin counter adding one to it.
  		m.put(classname, StaticOperationsCounters.active[fn]--); // changes the #active counter removing one to it.
  		stateChanged();
  	}
docs: this method is registering the termination of a method.