⁴See the Eclipse PDE project page for details: http://www.eclipse.org/pde/.