sclass ListInConcept<E> extends CollectionInConcept<E> implements L<E> {
  L<E> list;
  
  *() {} // for persistence

  *(List<E> list, Concept cc) {
    super(list, cc);
    this.list = list;
  }
  
  public List<E> subList(int fromIndex, int toIndex) {
    synchronized (this) {
      ret new ListInConcept<>(list.subList(fromIndex, toIndex), cc);
    }
  }

  !include #1011344
}

Began life as a copy of #1009402