On Mon, 28 Aug 2023 15:29:32 GMT, Alan Bateman <al...@openjdk.org> wrote:
> > @AlanBateman Is there anything else you need me to do? If so, please let me > > know. Thanks! > > I don't think the JDK is the right place to workaround this issue. Also, we > really need to get back re-implementing FileInputStream and friends on the > new API, in which case the original issue will come back again. So I think it > would be better to see how this can be fixed in the native image code. OK. I understand. Withdrawing this PR then. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15416#issuecomment-1696011153
