JavaFlags
EnsimePlugin
JdkDir
EnsimePlugin
javaCompilerArgs
EnsimeConfig
javaFlags
EnsimeConfig
EnsimeKeys
javaHome
EnsimeConfig
javaSrc
EnsimeConfig