Add preferences menu item like in JDT