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

It's all in the title :-)