The root of a jar+file or zip uri should only exist if the underlying file exist

[DavyLandman]

before:

rascal>exists(|mvn://x--b--2|)
bool: true

after:

rascal>exists(|mvn://x--b--2|)
bool: false

[codecov]

Codecov Report

❌ Patch coverage is 33.33333% with 10 lines in your changes missing coverage. Please review.
✅ Project coverage is 46%. Comparing base (246874f) to head (47b6e3a).
⚠️ Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
src/org/rascalmpl/uri/zip/ZipFileResolver.java	0%	7 Missing ⚠️
src/org/rascalmpl/uri/jar/JarFileResolver.java	71%	1 Missing and 1 partial ⚠️
.../org/rascalmpl/uri/jar/JarInputStreamResolver.java	0%	1 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##              main   #2720   +/-   ##
=======================================
- Coverage       46%     46%   -1%     
+ Complexity    6680    6668   -12     
=======================================
  Files          795     795           
  Lines        65905   65913    +8     
  Branches      9881    9883    +2     
=======================================
- Hits         30717   30704   -13     
- Misses       32808   32830   +22     
+ Partials      2380    2379    -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

[jurgenvinju]

ok good catch! I have some comments in slack

[DavyLandman]

Ok, I discussed it with @jurgenvinju the current PR was fine as is, there was a misunderstanding.