#vulnerable code 
                              void addChild(final Actor child) {
    children = children.plus(child);
  } 
                            #location 2 
                            #vulnerability type THREAD_SAFETY_VIOLATION
#fixed code
                              void addChild(final Actor child) {
    children.add(child);
  }