public void load(Reader reader) {
	Translation t = new Gson().fromJson(reader, Translation.class);
	translations.putAll(t.translations);
	if(t.data != null)
	    data.putAll(t.data);
	String[] available = GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames();
	for(String family : ((String)data.get("font")).split(","))
	    if(Arrays.binarySearch(available, family) >= 0) {
		this.font = Font.decode(family);
		break;
	    }
    }