added Json as a SaveFormat