update doc: javaHome is not a File but Option[File].