Radim Kubacki - 2009-03-18

Cf. JDT support that defines an extension point for this:

<extension point="org.eclipse.jdt.launching.vmInstalls">
<vmInstall
home="${eclipse_home}/jre"
id="com.example.vm.id"
name="JRE-1.4"
vmInstallType="com.example.vm.type"/>
</extension>

A tricky part is how to make sure that first scanning of files in this platform does not happen at wrong moment (blocking some user action).