fixed plug-in because it appears in the Eclipse preferences