Какой самый высокий приоритет в PMD?

Может быть, это только я, но я не могу найти информацию с наивысшим приоритетом в PMD : 1 или 5 ?

Из-за http://pmd.sourceforge.net/running.html и упоминание параметра командной строки -minimumpriority Я думаю 5 является самым высоким и ] 1 - наименьшее значение. Я прав?

9
задан Machavity 8 October 2018 в 12:33
поделиться