docs: public void copyFrom(LockSet other) {
          if (other.array.length != array.length) {
              array = new int[other.array.length];
          }
          System.arraycopy(other.array, 0, array, 0, array.length);
          this.defaultLockCount = other.defaultLockCount;
      }