@@ -53,11 +53,11 @@ public: // If this object is a java mirror, return the corresponding type. // Otherwise, return NULL. // (Remember that a java mirror is an instance of java.lang.Class.) - ciType* java_mirror_type(); + ciType* java_mirror_type(bool* is_val_mirror = NULL); // What kind of ciObject is this? bool is_instance() { return true; } // Constant value of a field.