JSON.php updated: encode method fixed to pass the getter prefix on recursive calls.