#fixed code
                                public boolean isEmpty() {
        for (int i = 0; i < actors.length; i++) {
            Actor act = actors[i];
            if ( ! act.__mailbox.isEmpty() || ! act.__cbQueue.isEmpty() )
                return false;
        }
        return true;
    }
#vulnerable code 
                                public boolean isEmpty() {
        for (int i = 0; i < queues.length; i++) {
            Queue queue = queues[i];
            if ( ! queue.isEmpty() )
                return false;
        }
        for (int i = 0; i < cbQueues.length; i++) {
            Queue queue = cbQueues[i];
            if ( ! queue.isEmpty() )
                return false;
        }
        return true;
    } 
                            #location 8 
                            #vulnerability type THREAD_SAFETY_VIOLATION