modified:   jsvm/bin/Makefile
	modified:   jsvm/jsre-ui.js
	modified:   jsvm/jsre.js
	modified:   jsvm/lib/jsre-ui.js