Implement Object.getOwnPropertyNames constructor property [ES5 section 15.2.3...

src/messages.js

Index: src/messages.js
===================================================================
--- src/messages.js	(revision 3610)
+++ src/messages.js	(working copy)
@@ -178,8 +178,7 @@
       result_not_primitive:         "Result of %0 must be a primitive, was %1",
       invalid_json:                 "String '%0' is not valid JSON",
       circular_structure:           "Converting circular structure to JSON",
-      object_keys_non_object:       "Object.keys called on non-object",
-      object_get_prototype_non_object: "Object.getPrototypeOf called on non-object",
+      obj_ctor_property_non_object: "Object.%0 called on non-object",
       array_indexof_not_defined:    "Array.getIndexOf: Argument undefined"
     };
   }