#vulnerable code 
                                public boolean getPaused()
    {
        return paused;
    } 
                            #location 3 
                            #vulnerability type THREAD_SAFETY_VIOLATION
#fixed code
                                public boolean getPaused()
    {
        return isPaused();
    }