Once did an experiment to try to understand the behaviour of file uris in java --
results are -- well -- educational but disturbing.
I tried all combinations of
"","./" , "/" , "//" , "///" , "file:","file:/","file://" , "file:///"
Through all combinations of File(), URI(), URL(), Paths.get() and toString(), followed by
Alli combinations of the each type's uri and file related methods ( toURI, toURL, toPath, toString etc)
Then for fun fed those back through
Result in html attached for ones reading pleasure, followed by the .kts code