Robert Scholte,

I know File.toURL() is deprecated, but I've never seen any proof that 
File.toURI().toURL() is enough to fix this problem.

Well, the difference in output of

  System.out.println( new File( " " ).toURL() );
  System.out.println( new File( " " ).toURI().toURL() );

is easy to notice and checking the URL/URI specs, you see that the literal space character isn't valid. So, passing around a URL with unquoted space (or other illegal characters) puts one at the mercy of the other components. Might wore here and fail there. See MNG-3607 for a related issue in Maven core and MJBOSS-35 for a nasty consequence.


Benjamin

---------------------------------------------------------------------
To unsubscribe from this list, please visit:

   http://xircles.codehaus.org/manage_email


Reply via email to