jar

ArchiveFile

jarurls

LegacyConfig

javaHome

EnsimeConfig

javaSources

EnsimeConfig

javacOptions

EnsimeProject