Check if the translated path is still correct, and clear the entry in case it failed - #2862

Check if the translated path is still correct, and clear the entry in case it failed#2862

DavyLandman wants to merge 1 commit into

mainusethesource/rascal:mainfrom

fix/maven-cache-reset-on-file-deleteusethesource/rascal:fix/maven-cache-reset-on-file-deleteCopy head branch name to clipboard