JavaFlags

EnsimePlugin

JdkDir

EnsimePlugin

javaCompilerArgs

EnsimeConfig

javaFlags

EnsimeConfig

javaHome

EnsimeConfig

javaSrc

EnsimeConfig