Eclipse Java Launching
Ce document dresse la liste des points d'extension publiés que le plug-in Java Launching (lanceur Java) met à la disposition des développeurs d'outils.
Point d'extension
org.eclipse.jdt.launching.vmInstallTypes