static void assignDefaultFont()
	{
		Properties props = new Properties();
		InputStream in = null;
		String fontName = null;
		int fontSize = 12;
		try {
			File file = new File(FILE_GUI);
			if (!file.exists())
				return;
			in = new FileInputStream(file);
			props.load(in);
			fontName = props.getProperty(FONT_NAME);
			if (fontName == null || fontName.length() == 0)
				return;
			try {
				fontSize = Integer.parseInt(props.getProperty(FONT_SIZE, "12"));
			} catch (Exception ignore) {
			}
		} catch (Exception ex) {
			ex.printStackTrace();
			return;
		} finally {
			try {
				in.close();
			} catch (Exception ignore) {
			}
		}
		Font font = new Font(fontName, Font.PLAIN, fontSize);
		Enumeration keys = UIManager.getDefaults().keys();
		while (keys.hasMoreElements())
		{
			Object key = keys.nextElement();
			Object value = UIManager.get(key);
			if (value instanceof javax.swing.plaf.FontUIResource)
				UIManager.put(key, font);
		}
	}