Which JVM are they using?

They are using a light fork with most patches improving font rendering/anti-aliasing https://github.com/JetBrains/jdk8u https://github.com/JetBrains/JetBrainsRuntime