JBIDE-18173: update the preferences page label