Fix some documentation typos

extraJavaOptions was documented twice in adjacent sections in
configuration.md.