Add json tzdata and java tools to generate it