Withdrawn: 8066622 8066637: remove deprecated using java.io.File.toURL() in internal classes

2021-01-05 Thread Sebastian Ritter
On Sat, 7 Nov 2020 07:55:03 GMT, Sebastian Ritter wrote: > In result of Javadoc to do not use java.io.File.toURL() > Change use java.io.File.toURL().toURI() instead. This pull request has been closed without being integrated. - PR: https://git.openjdk.java.net/jdk/pull/1108

Re: RFR: 8066622 8066637: remove deprecated using java.io.File.toURL() in internal classes

2020-11-10 Thread Sebastian Ritter
On Sun, 8 Nov 2020 16:58:24 GMT, Phil Race wrote: > You reference a desktop bug that discusses many, many deprecations ... Yep. In my opinion this is a bot problem here and need other place to discuss. > Yet you propose to fix precisely one of these. @prrace: Not really. The way to work with

RFR: 8066622 8066637: remove deprecated using java.io.File.toURL() in internal classes

2020-11-07 Thread Sebastian Ritter
In result of Javadoc to do not use java.io.File.toURL() Change use java.io.File.toURL().toURI() instead. - Commit messages: - in result of Javadoc to java.io.File.toURL do use internal java.io.File.toURL().toURI instead Changes: https://git.openjdk.java.net/jdk/pull/1108/files We

Re: RFR: 8066622 8066637: remove deprecated using java.io.File.toURL() in internal classes

2020-11-07 Thread Sebastian Ritter
On Sat, 7 Nov 2020 07:55:03 GMT, Sebastian Ritter wrote: > In result of Javadoc to do not use java.io.File.toURL() > Change use java.io.File.toURL().toURI() instead. 8066622 8066637: only for java.io.File.toURL - PR: https://git.openjdk.java.net/jdk/pull/1108