Use vector instead of splitting string in StarJsonData
This is speculative. Immediate thing is to get rid of usage of boost.
It also changes the StarJsonData API, which might not be a good idea (though it's currently (in devel) not used anywhere).
This is speculative. Immediate thing is to get rid of usage of boost.
It also changes the StarJsonData API, which might not be a good idea (though it's currently (in devel) not used anywhere).