Comment by dpatriarche

Yes, particularly for the HiDPI support for Windows. If Java 9 slips to summer 2017, I'm going to have to bite the bullet and manually scale our Windows GUI on HiDPI (shudder) unless Darcula (https://github.com/bulenkov/Darcula) comes through for us.