public static void installGtkPopupBugWorkaround() {
		GtkMenuWorkaround workaround = new GtkMenuWorkaround();
		if (workaround.shouldRun()) {
			if (System.getSecurityManager() == null) {
				workaround.run();
			} else {
				AccessController.doPrivileged(workaround);
			}
		}
	}