#21 replace deprecated java.io.File.toURL() with toURI().toURL()

[Arthit Suriyawongkul]

this patch replace all occurrences of java.io.File.toURL() with java.io.File.toURI().toURL()

as suggested in Java SE 5 API doc,
http://java.sun.com/j2se/1.5.0/docs/api/java/io/File.html#toURL\() :
" Usage note: This method does not automatically escape characters
that are illegal in URLs. It is recommended that new code convert an
abstract pathname into a URL by first converting it into a URI, via
the toURI method, and then converting the URI into a URL via the
URI.toURL method. "

Also noted that .toURL() is already deprecated in Java SE 6:
http://java.sun.com/javase/6/docs/api/java/io/File.html#toURL\()

please verify the attached patch :)

[Arthit Suriyawongkul]

patch (svn diff)

[Valentin Tablan]

Logged In: YES
user_id=1280870
Originator: NO

Patch applied. Thanks!