hg: jdk/sandbox: 8223451: Make optimistic types disabled by default

[chris.hegarty at oracle.com]

Changeset: 107ebf94ddcc
Author:    hannesw
Date:      2019-07-11 16:43 +0200
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/107ebf94ddcc

8223451: Make optimistic types disabled by default
Reviewed-by: sundar, jlaskey, attila

! src/jdk.scripting.nashorn/share/classes/jdk/nashorn/internal/runtime/resources/Options.properties
! test/nashorn/script/nosecurity/logcoverage.js