Patch: java.io.File - URI stuff

[Tom Tromey]

>>>>> "Michael" == Michael Koch <konqueror@gmx.de> writes:

Michael> I wrote a little patch to add two missing methods to
Michael> java.io.File to support URIs. This patch compiles already but
Michael> cant work as java.net.URI is not functional yet because of
Michael> missing java.util.regex which lacks ....

I'd rather we hold off on this until URI actually works.  Otherwise it
is just like a stub, which we've all agreed are a bad idea.

Michael> +   * @exception IllegalArgumentException If the preconditions for uri do not hold

It would be handy to list the preconditions in the javadoc.

Tom