PMD：DU - 异常：最近定义的变量未定义....但它确实如此

Question

DU Anomaly的定义说：

  

DU - 异常：最近定义的变量未定义。这些   异常可能出现在正常的源文本中。

但是对于以下代码来说似乎是错误的，尽管DU - Anomaly出现了：

private void aFancyMethod(final List<SomeObject> resultList, int maxLevel)
{
    int newMaxLevel;
    if (maxLevel < 1)
    {
        newMaxLevel = 1; // DU - Anomaly here
    } else
    {
        newMaxLevel = maxLevel; // DU - Anomaly here
    } 

    for (SomeObject[] revArray : resultList)
    {
        someOtherMethodCall(revArray, currentLevel, newMaxLevel);
    } 
} 

DU - Anomaly出现的原因是什么？