JavaArgs

EnsimeExtrasKeys

JavaFlags

EnsimePlugin

JdkDir

EnsimePlugin

jars

EnsimeConfiguration

javaArgs

LaunchConfig

javaCompilerArgs

EnsimeConfig EnsimeConfiguration

javaFlags

EnsimeConfig

javaHome

EnsimeConfig

javaSrc

EnsimeConfig

jvmArgs

JavaArgs