3 ms·

I mostly do Python and Node (usually all in PyCharm), but I agree for Java it's nice to have an editor.