var properties = new Array(); for ( var p in javaobject ) { properties[properties.length] = new Property( p, javaobject[p] ); } return properties; 
var properties = new Array(); for ( var p in javaobject ) { properties[properties.length] = new Property( p, javaobject[p] ); } return properties; 
function EnumerateJavaObject( javaobject ) {    var properties = new Array();    for ( var p in javaobject ) {        properties[properties.length] = new Property( p, javaobject[p] );    }    return properties;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/object-003.js/clean/js/tests/lc2/Objects/object-003.js