code: public Priority[] filePriorities() {
          int_vector v = th.get_file_priorities2();
          int size = (int) v.size();
          Priority[] arr = new Priority[size];
          for (int i = 0; i < size; i++) {
              arr[i] = Priority.fromSwig(v.get(i));
          }
          return arr;
      }
docs: Returns a vector with the priorities of all files.
  
  @return the array of priorities.