this.value  = value.valueOf(); this.type   = typeof value; return this; 
this.value  = value.valueOf(); this.type   = typeof value; return this; 
function JavaValue( value ) {    this.value  = value.valueOf();    this.type   = typeof value;    return this;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/number-002.js/clean/js/tests/lc2/JavaToJS/number-002.js