static String getModifiersText(int modifiers) {
		StringBuffer buf = new StringBuffer();

		if ((modifiers & InputEvent.SHIFT_DOWN_MASK) != 0) {
			buf.append("Shift ");
		}
		if ((modifiers & InputEvent.CTRL_DOWN_MASK) != 0) {
			buf.append("Ctrl ");
		}
		if ((modifiers & InputEvent.META_DOWN_MASK) != 0) {
			buf.append("Meta ");
		}
		if ((modifiers & InputEvent.ALT_DOWN_MASK) != 0) {
			buf.append("Alt ");
		}
		if ((modifiers & InputEvent.ALT_GRAPH_DOWN_MASK) != 0) {
			buf.append("AltGraph ");
		}
		if ((modifiers & InputEvent.BUTTON1_DOWN_MASK) != 0) {
			buf.append("Button1 ");
		}
		if ((modifiers & InputEvent.BUTTON2_DOWN_MASK) != 0) {
			buf.append("Button2 ");
		}
		if ((modifiers & InputEvent.BUTTON3_DOWN_MASK) != 0) {
			buf.append("Button3 ");
		}

		return buf.toString();
	}