In XML and SessionStateEditor, JSON encoding now sorts keys.
Added optional parameters to Compiler.stringify().