Re: [josm-dev] JDK 9 EA build 105 is available

Rory, One question though, is this fix something, that could you could also consider including in Java 8? We need to plan, how and when to phase out our work-around code. Cheers, Wiktor 2016-02-15 20:02 GMT+01:00 Wiktor Niesiobedzki : > Hi Rory, > > I can confirm, that the fix is

Re: [josm-dev] JDK 9 EA build 105 is available

Hi Rory, I can confirm, that the fix is working and I see now all the header fields returned. Thank you very much for the fix. Cheers, Wiktor 2016-02-15 19:22 GMT+01:00 Rory O'Donnell : > > Hi Vincent, > > Early Access b105 for JDK 9

[josm-dev] JDK 9 EA build 105 is available

Hi Vincent, Early Access b105 for JDK 9 is available on java.net, it includes a fix for : * JDK-8146450 : Java Web Start resource cache doesn't store all HTTP response headers Can you confirm fix is working. Thanks,Rory -- Rgds,Rory O'Donnell Quality

Re: [josm-dev] Brief appearance of window when using 'Draw Nodes' tool

Maybe you are using continuous download plugin? If that is not the reason, better click on menu help -> report bug in josm to create a ticket with some more information than posting here on josm-dev. Stefan ___ josm-dev mailing list