output: #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;
      }
input: #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