Patch: java.io.File - URI stuff

[Michael Koch]

Hi list,


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

Please review and comment. Okay for commit ?


Michael
-------------- next part --------------
A non-text attachment was scrubbed...
Name: uri.diff
Type: text/x-diff
Size: 2521 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/java-patches/attachments/20031218/7ee930c6/attachment.bin>