JavaArgs

EnsimeExtrasKeys

JavaFlags

EnsimePlugin

JdkDir

EnsimePlugin

javaArgs

LaunchConfig

javaFlags

EnsimeConfig

javaHome

EnsimeConfig

javaSrc

EnsimeConfig

javacOptions

EnsimeConfig EnsimeProject

jvmArgs

JavaArgs