JSON serialization fixes for JSTreeNode