docs: public static String getIntPriorityAsString(int prio) {
          String minPriority;
          switch (prio) {
          case Priorities.EXP_PRIORITY:
              minPriority = ProjectFilterSettings.EXPERIMENTAL_PRIORITY;
              break;
          case Priorities.LOW_PRIORITY:
              minPriority = ProjectFilterSettings.LOW_PRIORITY;
              break;
          case Priorities.NORMAL_PRIORITY:
              minPriority = ProjectFilterSettings.MEDIUM_PRIORITY;
              break;
          case Priorities.HIGH_PRIORITY:
              minPriority = ProjectFilterSettings.HIGH_PRIORITY;
              break;
          default:
              minPriority = ProjectFilterSettings.DEFAULT_PRIORITY;
              break;
          }
          return minPriority;
      }