public Dictionary<string,Kn5Material> FromMaterialsJson(string file) {
var array = JsonConvert.DeserializeObject<Kn5Material[]>(File.ReadAllText(file));
var materials = new Dictionary<string,Kn5Material>(array.Length);
foreach (var t in array) {
materials[t.Name] = t;
}
return materials;
}