保存イベント

Javaエディタでセーブしたときは、次のように登録しておけば呼んでくれました。

ResourcesPlugin.getWorkspace().addResourceChangeListener(this, IResourceChangeEvent.PRE_POST_BUILD);

しかし、Javaエディタの編集を知るために次のように登録すると、上記のイベントが発生しなくなりました。

JavaCore.addElementChangedListener(this);

JavaCoreからremoveすれば、再びresourceChangeが発生してくれます。どこかで奪っているのかな。