Discussion :

[Michael I.]

Le Plugin "ResourcesPlugin" permet de naviguer dans les sources java(projets, packages, classes).
Typiquement, le bout de code suivant permet de récupérer un objet image de l'environnement de travail :

IWorkspace workspace = ResourcesPlugin.getWorkspace();

J'ai activé ce plugin dans les préférences Eclipse. Dans la vue "plugin", il m'apparait donc à activé.

Le problème, c'est que l'objet workspace que je récupère est nul. Mon plugin n'a pas été initialisé proprement.
Y a-t-il une manip spéciale pour initialiser ce genre de plugin ?

Merci bien.

[Michael I.]

ayant trouvé la solution, je me réponds à moi-même)
une règle de base sous Eclipse : un plugin ne peut-être accédé que d'un autre plugin.
Il est impossible de créer un projet Java "standard", qui ferait appel aux sources d'un plugin.
Tout cela pour une raison bien simple : les plugins sont exécutés dans la même machine virtuelle qu'Eclipse.
Le main du programme que j'avais lancé était exécuté dans une instance de machine virtuelle différente, qui n'avait donc pas accès à mon workspace.