modified:   jsvm/src/js/util/Document.js