cdm/src/main/java/thredds/inventory/partition/PartitionManagerFromIndexList.java
public void removePartition( MCollection partition) {
    for (MFile mfile : partIndexFiles) {
      if (mfile.getName().equalsIgnoreCase(partition.getCollectionName())) {
        List<MFile> part = new ArrayList<>(partIndexFiles);
        part.remove(mfile);
        partIndexFiles = part;
        return;
      }
    }
  }
public void removePartition( MCollection partition) {
    for (MFile mfile : partIndexFiles) {
      if (mfile.getName().equalsIgnoreCase(partition.getCollectionName())) {
        List<MFile> part = new ArrayList<>(partIndexFiles);
        part.remove(mfile);
        partIndexFiles = part;
        return;
      }
    }
  }
public void removePartition ( MCollection partition ) { for ( MFile mfile : partIndexFiles ) { if ( mfile . getName ( ) . equalsIgnoreCase ( partition . getCollectionName ( ) ) ) { List < MFile > part = new ArrayList <> ( partIndexFiles ) ; part . remove ( mfile ) ; partIndexFiles = part ; return ; } } }
partitions can be removed (!)
partitions can be removed ( ! )