length
HeaderOption
OptionDef
library
ScalaJars
ScalaLocation
logFilters
ConsoleOptions
logLevel
ConsoleOptions
logPhases
ConsoleOptions