Migrate internal file helpers and SPIs from File to NIO APIs

Much of the internal tool still relies heavily on java.io.File, which is very clumsy to maintain and also known for its troublesome portability.

Several SPI methods already used the NIO API, but the conversion was never completed; it's a good time to face it.