#vulnerable code 
                             public void resume() {
		if (!paused) {
			return;
		}
		synchronized (repainter) {
			repainter.notifyAll();
		}
		paused = false;
	} 
                            #location 5 
                            #vulnerability type THREAD_SAFETY_VIOLATION
#fixed code
                             public void resume() {
		if (!paused) {
			return;
		}
		paused = false;
	}