Update javaScript.ml