added JSON marshalling to Vector