Plug-in for the Eclipse platform