Wouldn't be nice to include the darwin versions at the same time?

Right now they aren't packaged afaik. We don't even have 32bit support, but I guess it's worth an issue to add darwin support, there's an old TODO comment about that in the jetbrains-jdk derivation.

and I hadn't looked at the nix expression + the update script, but it would also need quite a refactor to handle both platforms 😞

I believe this is ready to be merged, although I don't have the authority to do so.

@edwtjo @loskutov @miltador as listed maintainers for the packages involved here is anything else required from your perspectives to get this merged?

This has been sitting around for a while now, but there's also #58478 and #58392 (Older versions, the webstorm issue seems gone with 2019.1).
Also there's a (not required) JDK update here too which could be picked separately.

I did build all of them, tried out webstorm and pycharm. Thanks, and sorry for keeping this PR open so long…

backported to 19.03 in dd9a78c, 686016b, d5b1fb9, 4b4b595, 9a66b56, d1f4e6e, e7ec56b, 107af48, e809249, e93b568, 49f2712 and 9ebce7f.