docs: public JRecordExtractor<T, DoubleSparseArray>
    extractWithSettingsDoubleSparseArray(String settings) {
      return new JRecordExtractor<>(JavaOps.extractWithSettingsDoubleSparseArray(self, settings));
    }