IntelliJ IDEA: do not assume that we are using OpenJDK.