`filePath` attribute missing in mine report

[algomaster99]

I noticed that the filePath attribute of mine reports are missing. For example,

{
    "totalMiningTime": 2436,
    "executionInfo": {
        "soraldVersion": "LOCAL",
        "javaVersion": "11.0.14",
        "originalArgs": [
            "mine",
            "--source",
            "/home/assert/Desktop/experiments/badformatting/SpacesInLocalVariable.java",
            "--stats-output-file",
            "a.json"
        ]
    },
    "miningStartTime": "Wed Mar 16 10:04:08 CET 2022",
    "minedRules": [{
        "warningLocations": [{
            "endLine": 3,
            "endColumn": 13,
            "startColumn": 12,
            "startLine": 3,
            "filePath": "",
            "violationSpecifier": "S1481::3:12:3:13"
        }],
        "ruleName": "UnusedLocalVariable",
        "ruleKey": "S1481"
    }],
    "miningEndTime": "Wed Mar 16 10:04:10 CET 2022"
}

[algomaster99]

This is not a bug. The filepath attribute is relative to the --source flag.