<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_biu6sa8viprm41dsdeb8r9kg3d, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
// synchronized
sclass MoreEfficientCopyOnWriteList<A> extends NotifyingList<A> {
  bool hasIterator;
  
  *() {}
  *(L<A> list) { super(list); }
  
  public synchronized Iterator<A> iterator() {
    set hasIterator;
    ret super.iterator();
  }
  
  public synchronized Spliterator<A> spliterator() {
    set hasIterator;
    ret super.spliterator();
  }
  
  public synchronized ListIterator<A> listIterator() {
    set hasIterator;
    ret super.listIterator();
  }

  public synchronized ListIterator<A> listIterator(int index) {
    set hasIterator;
    ret super.listIterator(index);
  }
  
  @Override
  // This is called in synchronized block
  void beforeChange {
    if (hasIterator) {
      list = cloneList(list);
      hasIterator = false;
    }
  }
  
  void change {}
}