Editing file: default-vm.js