[[ Bug 12547 ]] Make arrayEncode encode in 7.0 format by default