[news.eclipse.tools.jdt] PID of a launched JVM process

[Julien Canches <julien.canches@xxxxxxxxxx>]

Is there a way to get the process id of a JVM process launched using the 
jdt.launching APIs?

The JVM is launched with the following piece of code:

VMRunnerConfiguration conf =
	new VMRunnerConfiguration(mainClass, classPath);
conf.setProgramArguments(args);
IVMRunner runner =
	JavaRuntime.getDefaultVMInstall().getVMRunner(
		launch.getLaunchMode());
runner.run(conf, launch, monitor);

Since the run method does not return a value, I monitor the "launch" 
object to detect the creation of a process of type "java". From this 
process instance, is there a way to get its PID? I have not found in the 
javadoc a process attribute that could help me.

Thanks,
Julien