   <li class="nav-group-name">
            <a href="Classes.html">Classes</a>
            <ul class="nav-group-tasks">
              <li class="nav-group-task">
                <a href="Classes/LockedResource.html">LockedResource</a>
              </li>
              <li class="nav-group-task">
                <a href="Classes/ReadWriteCoordinator.html">ReadWriteCoordinator</a>
              </li>
              <li class="nav-group-task">
                <a href="Classes/ReceiptSpindle.html">ReceiptSpindle<