Here is an easy fix
Here is something that is very confusing with the current API and that we can very easily fix. See: http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=4701321
I am asking that we fix these issues:
and we're you're at it, clarify that URL.getFile() is not the appropriate way to convert a URL to a File. This isn't obvious!