#vulnerable code 
                              public void onModelPeriodChanged() {
  	//force scheduler to reload
  	initScheduler();
  } 
                            #location 3 
                            #vulnerability type THREAD_SAFETY_VIOLATION
#fixed code
                              public void onModelPeriodChanged() {
  	//force scheduler to reload
  	model = null;
  }