dot file to JSON