java中URL和File的相互转化

URL：file:/D:/my%20java/URL&FILE/%e5%9b%be%e7%89%87/tongji.jpg
File：D:/my Java/URL&FILE/图片/tongji.jpg
其实两者是一个文件。

DK5.0中的方法，JDK5.0以下不支持：
URL to File:
URL url=……;
File file=new File(url.toURI);

File to URL:
File file=……;
URL url=file.toURL();