static void fill_keybuf(String keybuf, KeyEvent event) {

		int modifier_state = event.getModifierState();

		if (modifier_state == Event.STATE_SHIFT_MASK)
			keybuf += "<Shift>";
		if (modifier_state == Event.STATE_LOCK_MASK)
			keybuf += "<Lock>";
		if (modifier_state == Event.STATE_CONTROL_MASK)
			keybuf += "<Control>";
		if (modifier_state == Event.STATE_MOD1_MASK)
			keybuf += "<Mod1>";
		if (modifier_state == Event.STATE_MOD2_MASK)
			keybuf += "<Mod2>";
		if (modifier_state == Event.STATE_MOD3_MASK)
			keybuf += "<Mod3>";
		if (modifier_state == Event.STATE_MOD4_MASK)
			keybuf += "<Mod4>";
		if (modifier_state == Event.STATE_MOD5_MASK)
			keybuf += "<Mod5>";
		// keybuf += utf8;
	}