[ptp-user] Problem using the org.eclipse.ptp.remote.core.remoteServerOve

[Rodrigo Fraxino Araujo <rfaraujo@xxxxxxxxxxxxxxxxxx>]

Hi,

I've been trying to use the
org.eclipse.ptp.remote.core.remoteServerOverride extension point in
order to override the default properties that are being set in
org.eclipse.ptp.rdt.server.dstore.

The problem is that even if I specify the same ID used by the plugin
that is using the extension point (i.e.,
org.eclipse.ptp.rdt.server.dstore.RemoteToolsDStoreServer), the
properties (e.g., the java path of launchCommand) continue to be loaded
from the first plugin that uses the extension point.

I think that this can be considered a bug and filed a bug report 
https://bugs.eclipse.org/bugs/show_bug.cgi?id=375674

Anyone knows if maybe I am doing something wrong?

Thanks.

Regards,
Rodrigo.