This revision falls back to the deprecated call on File.toURL() for the
static method FileOps.toURL(File f). The undeprecated alternative, namely File.toURI().toURL() fails on Windows.
Authored by: rcartwright 2007-02-07
Parent: [r4120]
Child: [r4122]