JavaArgs

EnsimeExtrasKeys

JavaFlags

EnsimePlugin

JdkDir

EnsimePlugin

javaArgs

LaunchConfig

javaCompilerArgs

EnsimeConfig

javaFlags

EnsimeConfig

javaHome

EnsimeConfig

javaSrc

EnsimeConfig

jvmArgs

JavaArgs